Module Ast_helper.Mty

module Mty: sig .. end

Module type expressions

val mk : ?loc:Ast_helper.loc ->
       ?attrs:Ast_helper.attrs ->
       Parsetree.module_type_desc -> Parsetree.module_type

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

val ident : ?loc:Ast_helper.loc ->
       ?attrs:Ast_helper.attrs -> Ast_helper.lid -> Parsetree.module_type

val alias : ?loc:Ast_helper.loc ->
       ?attrs:Ast_helper.attrs -> Ast_helper.lid -> Parsetree.module_type

val signature : ?loc:Ast_helper.loc ->
       ?attrs:Ast_helper.attrs -> Parsetree.signature -> Parsetree.module_type

val functor_ : ?loc:Ast_helper.loc ->
       ?attrs:Ast_helper.attrs ->
       Ast_helper.str ->
       Parsetree.module_type option ->
       Parsetree.module_type -> Parsetree.module_type

val with_ : ?loc:Ast_helper.loc ->
       ?attrs:Ast_helper.attrs ->
       Parsetree.module_type ->
       Parsetree.with_constraint list -> Parsetree.module_type

val typeof_ : ?loc:Ast_helper.loc ->
       ?attrs:Ast_helper.attrs -> Parsetree.module_expr -> Parsetree.module_type

val extension : ?loc:Ast_helper.loc ->
       ?attrs:Ast_helper.attrs -> Parsetree.extension -> Parsetree.module_type

The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.