Module Odoc_model__Lang.ModuleType

type substitution =
| ModuleEq of Odoc_model.Paths.Fragment.Module.t * Module.Equation.t
| TypeEq of Odoc_model.Paths.Fragment.Type.t * TypeDecl.Equation.t
| ModuleSubst of Odoc_model.Paths.Fragment.Module.t * Odoc_model.Paths.Path.Module.t
| TypeSubst of Odoc_model.Paths.Fragment.Type.t * TypeDecl.Equation.t
type expr =
| Path of Odoc_model.Paths.Path.ModuleType.t
| Signature of Signature.t
| Functor of FunctorParameter.t * expr
| With of expr * substitution list
| TypeOf of Module.decl
type t = {
id : Odoc_model.Paths.Identifier.ModuleType.t;
doc : Odoc_model.Comment.docs;
expr : expr option;
expansion : Module.expansion option;
}