Class Maps.module_type
method virtual identifier_module : Paths.Identifier.Module.t -> Paths.Identifier.Module.tmethod virtual identifier_module_type : Paths.Identifier.ModuleType.t -> Paths.Identifier.ModuleType.tmethod virtual path_module : Paths.Path.Module.t -> Paths.Path.Module.tmethod virtual path_module_type : Paths.Path.ModuleType.t -> Paths.Path.ModuleType.tmethod virtual path_type : Paths.Path.Type.t -> Paths.Path.Type.tmethod virtual fragment_module : Paths.Fragment.Module.t -> Paths.Fragment.Module.tmethod virtual fragment_type : Paths.Fragment.Type.t -> Paths.Fragment.Type.tmethod virtual documentation : Comment.docs -> Comment.docsmethod virtual module_decl : Lang.Module.decl -> Lang.Module.declmethod virtual module_equation : Lang.Module.Equation.t -> Lang.Module.Equation.tmethod virtual signature : Lang.Signature.t -> Lang.Signature.tmethod virtual type_decl_equation : Lang.TypeDecl.Equation.t -> Lang.TypeDecl.Equation.tmethod virtual type_decl_param_name : string -> stringmethod virtual module_expansion : Lang.Module.expansion -> Lang.Module.expansionmethod module_type_substitution : Lang.ModuleType.substitution -> Lang.ModuleType.substitutionmethod module_type_expr : Lang.ModuleType.expr -> Lang.ModuleType.exprmethod module_type_functor_param : Lang.FunctorParameter.t -> Lang.FunctorParameter.tmethod module_type : Lang.ModuleType.t -> Lang.ModuleType.t