let copy_type_annot = display_annot ~copy: true `Type