# 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 ->
           Parsetree.functor_parameter -> 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