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