Module Component.Substitution

type subst_module = [
  1. | `Prefixed of Odoc_xref2.Cpath.module_ * Odoc_xref2.Cpath.Resolved.module_
  2. | `Renamed of Odoc_xref2.Ident.path_module
  3. | `Substituted
]
type subst_type = [
  1. | `Prefixed of Odoc_xref2.Cpath.type_ * Odoc_xref2.Cpath.Resolved.type_
  2. | `Renamed of Odoc_xref2.Ident.path_type
]
type t = {
  1. module_ : subst_module PathModuleMap.t;
  2. module_type : subst_module_type ModuleTypeMap.t;
  3. type_ : subst_type PathTypeMap.t;
  4. class_type : subst_class_type PathClassTypeMap.t;
  5. type_replacement : (TypeExpr.t * TypeDecl.Equation.t) PathTypeMap.t;
  6. module_type_replacement : ModuleType.expr ModuleTypeMap.t;
  7. path_invalidating_modules : Odoc_xref2.Ident.path_module list;
  8. module_type_of_invalidating_modules : Odoc_xref2.Ident.path_module list;
  9. unresolve_opaque_paths : bool;
}