Mty (ppxlib.Ppxlib_ast.Ast

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_type

val attr : 
  Astlib.Ast_500.Parsetree.module_type ->
  Astlib.Ast_500.Parsetree.attribute ->
  Astlib.Ast_500.Parsetree.module_type

val ident : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Longident.t Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.module_type

val alias : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Longident.t Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.module_type

val signature : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.signature ->
  Astlib.Ast_500.Parsetree.module_type

val 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.module_type

val 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_type

val typeof_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.module_expr ->
  Astlib.Ast_500.Parsetree.module_type

val extension : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.extension ->
  Astlib.Ast_500.Parsetree.module_type