Module `Lang.ModuleType`

type substitution =

| ModuleEq of Odoc_model.Paths.Fragment.Module.t * Odoc_model.Lang.Module.Equation.t
| ModuleTypeEq of Odoc_model.Paths.Fragment.ModuleType.t * Odoc_model.Lang.ModuleType.expr
| TypeEq of Odoc_model.Paths.Fragment.Type.t * Odoc_model.Lang.TypeDecl.Equation.t
| ModuleSubst of Odoc_model.Paths.Fragment.Module.t * Odoc_model.Paths.Path.Module.t
| ModuleTypeSubst of Odoc_model.Paths.Fragment.ModuleType.t * Odoc_model.Lang.ModuleType.expr
| TypeSubst of Odoc_model.Paths.Fragment.Type.t * Odoc_model.Lang.TypeDecl.Equation.t

type type_of_desc =

| ModPath of Odoc_model.Paths.Path.Module.t
| StructInclude of Odoc_model.Paths.Path.Module.t

type simple_expansion =

| Signature of Odoc_model.Lang.Signature.t
| Functor of Odoc_model.Lang.FunctorParameter.t * Odoc_model.Lang.ModuleType.simple_expansion

type typeof_t = {

t_desc : Odoc_model.Lang.ModuleType.type_of_desc;
t_original_path : Odoc_model.Paths.Path.Module.t;
t_expansion : Odoc_model.Lang.ModuleType.simple_expansion option;

}

module U : sig ... end

type path_t = {

p_expansion : Odoc_model.Lang.ModuleType.simple_expansion option;
p_path : Odoc_model.Paths.Path.ModuleType.t;

}

type with_t = {

w_substitutions : Odoc_model.Lang.ModuleType.substitution list;
w_expansion : Odoc_model.Lang.ModuleType.simple_expansion option;
w_expr : Odoc_model.Lang.ModuleType.U.expr;

}

type strengthen_t = {

s_expansion : Odoc_model.Lang.ModuleType.simple_expansion option;
s_expr : Odoc_model.Lang.ModuleType.U.expr;
s_path : Odoc_model.Paths.Path.Module.t;
s_aliasable : bool;

}

type expr =

| Path of Odoc_model.Lang.ModuleType.path_t
| Signature of Odoc_model.Lang.Signature.t
| Functor of Odoc_model.Lang.FunctorParameter.t * Odoc_model.Lang.ModuleType.expr
| With of Odoc_model.Lang.ModuleType.with_t
| TypeOf of Odoc_model.Lang.ModuleType.typeof_t
| Strengthen of Odoc_model.Lang.ModuleType.strengthen_t

type t = {

id : Odoc_model.Paths.Identifier.ModuleType.t;
source_loc : Odoc_model.Paths.Identifier.SourceLocation.t option;
(*
Can be None for module types created by a type substitution.
*)
source_loc_jane : Odoc_model.Lang.Source_loc_jane.t option;
doc : Odoc_model.Comment.docs;
canonical : Odoc_model.Paths.Path.ModuleType.t option;
expr : Odoc_model.Lang.ModuleType.expr option;

}