let
type_decl tl cl t =
type_decl tl cl (loc_of_ctyp t)
None
false
t