Type expressions
val new_var : string option -> Ast_405.Parsetree.core_typeCreate a fresh type variable
val ref_ :
?loc:Ast_405.Location.t ->
?attrs:Ast_405.Ast_helper.attrs ->
Ast_405.Parsetree.core_type ->
Ast_405.Parsetree.core_typeCreate a type AST t ref
val option :
?loc:Ast_405.Location.t ->
?attrs:Ast_405.Ast_helper.attrs ->
Ast_405.Parsetree.core_type ->
Ast_405.Parsetree.core_typeCreate a type AST t option
Imported from Ast_helper
val mk :
?loc:Ast_405.Ast_helper.loc ->
?attrs:Ast_405.Ast_helper.attrs ->
Ast_405.Parsetree.core_type_desc ->
Ast_405.Parsetree.core_typeval any :
?loc:Ast_405.Ast_helper.loc ->
?attrs:Ast_405.Ast_helper.attrs ->
unit ->
Ast_405.Parsetree.core_typeval var :
?loc:Ast_405.Ast_helper.loc ->
?attrs:Ast_405.Ast_helper.attrs ->
string ->
Ast_405.Parsetree.core_typeval arrow :
?loc:Ast_405.Ast_helper.loc ->
?attrs:Ast_405.Ast_helper.attrs ->
Ast_405.Asttypes.arg_label ->
Ast_405.Parsetree.core_type ->
Ast_405.Parsetree.core_type ->
Ast_405.Parsetree.core_typeval tuple :
?loc:Ast_405.Ast_helper.loc ->
?attrs:Ast_405.Ast_helper.attrs ->
Ast_405.Parsetree.core_type list ->
Ast_405.Parsetree.core_typeval constr :
?loc:Ast_405.Ast_helper.loc ->
?attrs:Ast_405.Ast_helper.attrs ->
Ast_405.Ast_helper.lid ->
Ast_405.Parsetree.core_type list ->
Ast_405.Parsetree.core_typeval object_ :
?loc:Ast_405.Ast_helper.loc ->
?attrs:Ast_405.Ast_helper.attrs ->
(Ast_405.Ast_helper.str
* Ast_405.Parsetree.attributes
* Ast_405.Parsetree.core_type)
list ->
Ast_405.Asttypes.closed_flag ->
Ast_405.Parsetree.core_typeval class_ :
?loc:Ast_405.Ast_helper.loc ->
?attrs:Ast_405.Ast_helper.attrs ->
Ast_405.Ast_helper.lid ->
Ast_405.Parsetree.core_type list ->
Ast_405.Parsetree.core_typeval alias :
?loc:Ast_405.Ast_helper.loc ->
?attrs:Ast_405.Ast_helper.attrs ->
Ast_405.Parsetree.core_type ->
string ->
Ast_405.Parsetree.core_typeval variant :
?loc:Ast_405.Ast_helper.loc ->
?attrs:Ast_405.Ast_helper.attrs ->
Ast_405.Parsetree.row_field list ->
Ast_405.Asttypes.closed_flag ->
Ast_405.Asttypes.label list option ->
Ast_405.Parsetree.core_typeval poly :
?loc:Ast_405.Ast_helper.loc ->
?attrs:Ast_405.Ast_helper.attrs ->
Ast_405.Ast_helper.str list ->
Ast_405.Parsetree.core_type ->
Ast_405.Parsetree.core_typeval package :
?loc:Ast_405.Ast_helper.loc ->
?attrs:Ast_405.Ast_helper.attrs ->
Ast_405.Ast_helper.lid ->
(Ast_405.Ast_helper.lid * Ast_405.Parsetree.core_type) list ->
Ast_405.Parsetree.core_typeval extension :
?loc:Ast_405.Ast_helper.loc ->
?attrs:Ast_405.Ast_helper.attrs ->
Ast_405.Parsetree.extension ->
Ast_405.Parsetree.core_typeval force_poly : Ast_405.Parsetree.core_type -> Ast_405.Parsetree.core_type