Class Maps.module_type

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