Module Odoc_xref2.Subst
type t = Odoc_xref2.Component.Substitution.tval pp : Stdlib.Format.formatter -> Odoc_xref2.Subst.t -> unitval identity : Odoc_xref2.Subst.tval unresolve_opaque_paths : Odoc_xref2.Subst.t -> Odoc_xref2.Subst.tval path_invalidate_module :
Odoc_xref2.Ident.module_ ->
Odoc_xref2.Subst.t ->
Odoc_xref2.Subst.tval add_module :
Odoc_xref2.Ident.module_ ->
Odoc_xref2.Cpath.module_ ->
Odoc_xref2.Cpath.Resolved.module_ ->
Odoc_xref2.Subst.t ->
Odoc_xref2.Subst.tval add_module_type :
Odoc_xref2.Ident.module_type ->
Odoc_xref2.Cpath.module_type ->
Odoc_xref2.Cpath.Resolved.module_type ->
Odoc_xref2.Subst.t ->
Odoc_xref2.Subst.tval add_type :
Odoc_xref2.Ident.type_ ->
Odoc_xref2.Cpath.type_ ->
Odoc_xref2.Cpath.Resolved.type_ ->
Odoc_xref2.Subst.t ->
Odoc_xref2.Subst.tval add_class :
Odoc_xref2.Ident.type_ ->
Odoc_xref2.Cpath.class_type ->
Odoc_xref2.Cpath.Resolved.class_type ->
Odoc_xref2.Subst.t ->
Odoc_xref2.Subst.tval add_class_type :
Odoc_xref2.Ident.type_ ->
Odoc_xref2.Cpath.class_type ->
Odoc_xref2.Cpath.Resolved.class_type ->
Odoc_xref2.Subst.t ->
Odoc_xref2.Subst.tval add_type_replacement :
Odoc_xref2.Ident.type_ ->
Odoc_xref2.Component.TypeExpr.t ->
Odoc_xref2.Component.TypeDecl.Equation.t ->
Odoc_xref2.Subst.t ->
Odoc_xref2.Subst.tval add_module_type_replacement :
Odoc_xref2.Ident.module_type ->
Odoc_xref2.Component.ModuleType.expr ->
Odoc_xref2.Subst.t ->
Odoc_xref2.Subst.tval add_module_substitution :
Odoc_xref2.Ident.module_ ->
Odoc_xref2.Subst.t ->
Odoc_xref2.Subst.tval type_ :
Odoc_xref2.Subst.t ->
Odoc_xref2.Component.TypeDecl.t ->
Odoc_xref2.Component.TypeDecl.tval type_expr :
Odoc_xref2.Subst.t ->
Odoc_xref2.Component.TypeExpr.t ->
Odoc_xref2.Component.TypeExpr.tval module_ :
Odoc_xref2.Subst.t ->
Odoc_xref2.Component.Module.t ->
Odoc_xref2.Component.Module.tval module_type :
Odoc_xref2.Subst.t ->
Odoc_xref2.Component.ModuleType.t ->
Odoc_xref2.Component.ModuleType.tval module_type_substitution :
Odoc_xref2.Subst.t ->
Odoc_xref2.Component.ModuleTypeSubstitution.t ->
Odoc_xref2.Component.ModuleTypeSubstitution.tval module_substitution :
Odoc_xref2.Subst.t ->
Odoc_xref2.Component.ModuleSubstitution.t ->
Odoc_xref2.Component.ModuleSubstitution.tval module_type_expr :
Odoc_xref2.Subst.t ->
Odoc_xref2.Component.ModuleType.expr ->
Odoc_xref2.Component.ModuleType.exprval exception_ :
Odoc_xref2.Subst.t ->
Odoc_xref2.Component.Exception.t ->
Odoc_xref2.Component.Exception.tval extension :
Odoc_xref2.Subst.t ->
Odoc_xref2.Component.Extension.t ->
Odoc_xref2.Component.Extension.tval include_ :
Odoc_xref2.Subst.t ->
Odoc_xref2.Component.Include.t ->
Odoc_xref2.Component.Include.tval open_ :
Odoc_xref2.Subst.t ->
Odoc_xref2.Component.Open.t ->
Odoc_xref2.Component.Open.tval value :
Odoc_xref2.Subst.t ->
Odoc_xref2.Component.Value.t ->
Odoc_xref2.Component.Value.tval class_ :
Odoc_xref2.Subst.t ->
Odoc_xref2.Component.Class.t ->
Odoc_xref2.Component.Class.tval class_decl :
Odoc_xref2.Subst.t ->
Odoc_xref2.Component.Class.decl ->
Odoc_xref2.Component.Class.declval class_type :
Odoc_xref2.Subst.t ->
Odoc_xref2.Component.ClassType.t ->
Odoc_xref2.Component.ClassType.tval signature :
Odoc_xref2.Subst.t ->
Odoc_xref2.Component.Signature.t ->
Odoc_xref2.Component.Signature.tval apply_sig_map_items :
Odoc_xref2.Subst.t ->
Odoc_xref2.Component.Signature.item list ->
Odoc_xref2.Component.Signature.item listApply substitutions.