Module Ast_helper.Mty
Module type expressions
Module type expressions
val mk :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.module_type_desc ->
Astlib.Ast_500.Parsetree.module_typeval ident :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Longident.t Astlib.Location.loc ->
Astlib.Ast_500.Parsetree.module_typeval alias :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Longident.t Astlib.Location.loc ->
Astlib.Ast_500.Parsetree.module_typeval signature :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.signature_item list ->
Astlib.Ast_500.Parsetree.module_typeval functor_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.functor_parameter ->
Astlib.Ast_500.Parsetree.module_type ->
Astlib.Ast_500.Parsetree.modes ->
Astlib.Ast_500.Parsetree.module_typeval with_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.module_type ->
Astlib.Ast_500.Parsetree.with_constraint list ->
Astlib.Ast_500.Parsetree.module_typeval typeof_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.module_expr ->
Astlib.Ast_500.Parsetree.module_typeval extension :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.extension ->
Astlib.Ast_500.Parsetree.module_type