Module Component.ModuleTypeSource
type substitution = | ModuleEq of Odoc_xref2.Cfrag.module_ * Odoc_xref2.Component.Module.decl| ModuleSubst of Odoc_xref2.Cfrag.module_ * Odoc_xref2.Cpath.module_| ModuleTypeEq of Odoc_xref2.Cfrag.module_type * Odoc_xref2.Component.ModuleType.expr| ModuleTypeSubst of Odoc_xref2.Cfrag.module_type * Odoc_xref2.Component.ModuleType.expr| TypeEq of Odoc_xref2.Cfrag.type_ * Odoc_xref2.Component.TypeDecl.Equation.t| TypeSubst of Odoc_xref2.Cfrag.type_ * Odoc_xref2.Component.TypeDecl.Equation.t
type type_of_desc = | ModPath of Odoc_xref2.Cpath.module_| StructInclude of Odoc_xref2.Cpath.module_
type simple_expansion = | Signature of Odoc_xref2.Component.Signature.t| Functor of Odoc_xref2.Component.FunctorParameter.t * Odoc_xref2.Component.ModuleType.simple_expansion
type typeof_t = {t_desc : Odoc_xref2.Component.ModuleType.type_of_desc;t_original_path : Odoc_xref2.Cpath.module_;t_expansion : Odoc_xref2.Component.ModuleType.simple_expansion option;
}module U : sig ... endtype path_t = {p_expansion : Odoc_xref2.Component.ModuleType.simple_expansion option;p_path : Odoc_xref2.Cpath.module_type;
}type with_t = {w_substitutions : Odoc_xref2.Component.ModuleType.substitution list;w_expansion : Odoc_xref2.Component.ModuleType.simple_expansion option;w_expr : Odoc_xref2.Component.ModuleType.U.expr;
}type strengthen_t = {s_expansion : Odoc_xref2.Component.ModuleType.simple_expansion option;s_expr : Odoc_xref2.Component.ModuleType.U.expr;s_path : Odoc_xref2.Cpath.module_;s_aliasable : bool;
}type expr = | Path of Odoc_xref2.Component.ModuleType.path_t| Signature of Odoc_xref2.Component.Signature.t| With of Odoc_xref2.Component.ModuleType.with_t| Functor of Odoc_xref2.Component.FunctorParameter.t * Odoc_xref2.Component.ModuleType.expr| TypeOf of Odoc_xref2.Component.ModuleType.typeof_t| Strengthen of Odoc_xref2.Component.ModuleType.strengthen_t
type t = {source_loc : Odoc_model.Paths.Identifier.SourceLocation.t option;source_loc_jane : Odoc_model.Lang.Source_loc_jane.t option;doc : Odoc_xref2.Component.CComment.docs;canonical : Odoc_model.Paths.Path.ModuleType.t option;expr : Odoc_xref2.Component.ModuleType.expr option;
}