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;
}