Ast_helper.Te
Type extensions
Type extensions
val mk :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
?params:
(Astlib.Ast_500.Parsetree.core_type
* (Astlib.Ast_500.Asttypes.variance * Astlib.Ast_500.Asttypes.injectivity))
list ->
?priv:Astlib.Ast_500.Asttypes.private_flag ->
Astlib.Longident.t Astlib.Location.loc ->
Astlib.Ast_500.Parsetree.extension_constructor list ->
Astlib.Ast_500.Parsetree.type_extension
val mk_exception :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.extension_constructor ->
Astlib.Ast_500.Parsetree.type_exception
val constructor :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
string Astlib.Location.loc ->
Astlib.Ast_500.Parsetree.extension_constructor_kind ->
Astlib.Ast_500.Parsetree.extension_constructor
val decl :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
?vars:string Astlib.Location.loc list ->
?args:Astlib.Ast_500.Parsetree.constructor_arguments ->
?res:Astlib.Ast_500.Parsetree.core_type ->
string Astlib.Location.loc ->
Astlib.Ast_500.Parsetree.extension_constructor
val rebind :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
string Astlib.Location.loc ->
Astlib.Longident.t Astlib.Location.loc ->
Astlib.Ast_500.Parsetree.extension_constructor