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