Module `Odoc_xref2.Subst`Source

Sourcetype t = Odoc_xref2.Component.Substitution.t

Sourceval pp : Stdlib.Format.formatter -> Odoc_xref2.Subst.t -> unit

Sourceval identity : Odoc_xref2.Subst.t

Sourceval unresolve_opaque_paths : Odoc_xref2.Subst.t -> Odoc_xref2.Subst.t

val path_invalidate_module : 
  Odoc_xref2.Ident.module_ ->
  Odoc_xref2.Subst.t ->
  Odoc_xref2.Subst.t

Source

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

Source

val 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.t

Source

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

Source

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

Source

val 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.t

Source

val 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.t

Source

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

Source

val add_module_substitution : 
  Odoc_xref2.Ident.module_ ->
  Odoc_xref2.Subst.t ->
  Odoc_xref2.Subst.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val apply_sig_map_items : 
  Odoc_xref2.Subst.t ->
  Odoc_xref2.Component.Signature.item list ->
  Odoc_xref2.Component.Signature.item list

Apply substitutions.

Module Odoc_xref2.SubstSource

Module `Odoc_xref2.Subst`Source