Subst (odoc.Odoc_xref2.Subst)

type t = Odoc_xref2.Component.Substitution.t

val identity : t

val unresolve_opaque_paths : t -> t

val path_invalidate_module : Odoc_xref2.Ident.path_module -> t -> t

val mto_invalidate_module : Odoc_xref2.Ident.path_module -> t -> t

val add_module : 
  Odoc_xref2.Ident.path_module ->
  Odoc_xref2.Cpath.module_ ->
  Odoc_xref2.Cpath.Resolved.module_ ->
  t ->
  t

val add_module_type : 
  Odoc_xref2.Ident.module_type ->
  Odoc_xref2.Cpath.module_type ->
  Odoc_xref2.Cpath.Resolved.module_type ->
  t ->
  t

val add_type : 
  Odoc_xref2.Ident.type_ ->
  Odoc_xref2.Cpath.type_ ->
  Odoc_xref2.Cpath.Resolved.type_ ->
  t ->
  t

val add_class : 
  Odoc_xref2.Ident.class_ ->
  Odoc_xref2.Cpath.class_type ->
  Odoc_xref2.Cpath.Resolved.class_type ->
  t ->
  t

val add_class_type : 
  Odoc_xref2.Ident.class_type ->
  Odoc_xref2.Cpath.class_type ->
  Odoc_xref2.Cpath.Resolved.class_type ->
  t ->
  t

val add_type_replacement : 
  Odoc_xref2.Ident.path_type ->
  Odoc_xref2.Component.TypeExpr.t ->
  Odoc_xref2.Component.TypeDecl.Equation.t ->
  t ->
  t

val add_module_type_replacement : 
  Odoc_xref2.Ident.module_type ->
  Odoc_xref2.Component.ModuleType.expr ->
  t ->
  t

val add_module_substitution : Odoc_xref2.Ident.path_module -> t -> t

val type_ : 
  t ->
  Odoc_xref2.Component.TypeDecl.t ->
  Odoc_xref2.Component.TypeDecl.t

val type_expr : 
  t ->
  Odoc_xref2.Component.TypeExpr.t ->
  Odoc_xref2.Component.TypeExpr.t

val module_ : 
  t ->
  Odoc_xref2.Component.Module.t ->
  Odoc_xref2.Component.Module.t

val module_type : 
  t ->
  Odoc_xref2.Component.ModuleType.t ->
  Odoc_xref2.Component.ModuleType.t

val module_type_substitution : 
  t ->
  Odoc_xref2.Component.ModuleTypeSubstitution.t ->
  Odoc_xref2.Component.ModuleTypeSubstitution.t

val module_substitution : 
  t ->
  Odoc_xref2.Component.ModuleSubstitution.t ->
  Odoc_xref2.Component.ModuleSubstitution.t

val module_type_expr : 
  t ->
  Odoc_xref2.Component.ModuleType.expr ->
  Odoc_xref2.Component.ModuleType.expr

val exception_ : 
  t ->
  Odoc_xref2.Component.Exception.t ->
  Odoc_xref2.Component.Exception.t

val extension : 
  t ->
  Odoc_xref2.Component.Extension.t ->
  Odoc_xref2.Component.Extension.t

val include_ : 
  t ->
  Odoc_xref2.Component.Include.t ->
  Odoc_xref2.Component.Include.t

val open_ : t -> Odoc_xref2.Component.Open.t -> Odoc_xref2.Component.Open.t

val value : t -> Odoc_xref2.Component.Value.t -> Odoc_xref2.Component.Value.t

val class_ : t -> Odoc_xref2.Component.Class.t -> Odoc_xref2.Component.Class.t

val class_decl : 
  t ->
  Odoc_xref2.Component.Class.decl ->
  Odoc_xref2.Component.Class.decl

val class_type : 
  t ->
  Odoc_xref2.Component.ClassType.t ->
  Odoc_xref2.Component.ClassType.t

val signature : 
  t ->
  Odoc_xref2.Component.Signature.t ->
  Odoc_xref2.Component.Signature.t

val apply_sig_map : 
  t ->
  Odoc_xref2.Component.Signature.item list ->
  Odoc_xref2.Component.Signature.removed_item list ->
  Odoc_xref2.Component.Signature.item list
  * Odoc_xref2.Component.Signature.removed_item list
  * bool