sig
  val mk :
    ?loc:Ast_407.??.loc ->
    ?attrs:Ast_407.??.attrs ->
    Ast_407.Parsetree.core_type_desc -> Ast_407.Parsetree.core_type
  val attr :
    Ast_407.Parsetree.core_type ->
    Ast_407.Parsetree.attribute -> Ast_407.Parsetree.core_type
  val any :
    ?loc:Ast_407.??.loc ->
    ?attrs:Ast_407.??.attrs -> unit -> Ast_407.Parsetree.core_type
  val var :
    ?loc:Ast_407.??.loc ->
    ?attrs:Ast_407.??.attrs -> string -> Ast_407.Parsetree.core_type
  val arrow :
    ?loc:Ast_407.??.loc ->
    ?attrs:Ast_407.??.attrs ->
    Ast_407.Asttypes.arg_label ->
    Ast_407.Parsetree.core_type ->
    Ast_407.Parsetree.core_type -> Ast_407.Parsetree.core_type
  val tuple :
    ?loc:Ast_407.??.loc ->
    ?attrs:Ast_407.??.attrs ->
    Ast_407.Parsetree.core_type list -> Ast_407.Parsetree.core_type
  val constr :
    ?loc:Ast_407.??.loc ->
    ?attrs:Ast_407.??.attrs ->
    Ast_407.??.lid ->
    Ast_407.Parsetree.core_type list -> Ast_407.Parsetree.core_type
  val object_ :
    ?loc:Ast_407.??.loc ->
    ?attrs:Ast_407.??.attrs ->
    Ast_407.Parsetree.object_field list ->
    Ast_407.Asttypes.closed_flag -> Ast_407.Parsetree.core_type
  val class_ :
    ?loc:Ast_407.??.loc ->
    ?attrs:Ast_407.??.attrs ->
    Ast_407.??.lid ->
    Ast_407.Parsetree.core_type list -> Ast_407.Parsetree.core_type
  val alias :
    ?loc:Ast_407.??.loc ->
    ?attrs:Ast_407.??.attrs ->
    Ast_407.Parsetree.core_type -> string -> Ast_407.Parsetree.core_type
  val variant :
    ?loc:Ast_407.??.loc ->
    ?attrs:Ast_407.??.attrs ->
    Ast_407.Parsetree.row_field list ->
    Ast_407.Asttypes.closed_flag ->
    Ast_407.Asttypes.label list option -> Ast_407.Parsetree.core_type
  val poly :
    ?loc:Ast_407.??.loc ->
    ?attrs:Ast_407.??.attrs ->
    Ast_407.??.str list ->
    Ast_407.Parsetree.core_type -> Ast_407.Parsetree.core_type
  val package :
    ?loc:Ast_407.??.loc ->
    ?attrs:Ast_407.??.attrs ->
    Ast_407.??.lid ->
    (Ast_407.??.lid * Ast_407.Parsetree.core_type) list ->
    Ast_407.Parsetree.core_type
  val extension :
    ?loc:Ast_407.??.loc ->
    ?attrs:Ast_407.??.attrs ->
    Ast_407.Parsetree.extension -> Ast_407.Parsetree.core_type
  val force_poly : Ast_407.Parsetree.core_type -> Ast_407.Parsetree.core_type
  val varify_constructors :
    Ast_407.??.str list ->
    Ast_407.Parsetree.core_type -> Ast_407.Parsetree.core_type
end