let display_type_annot = display_annot `Type