let
copy_type_annot = display_annot ~copy:
true
`
Type