Subst (odoc.odoc_xref2.Odoc

Sourcetype t = Component.Substitution.t

Sourceval identity : t

Sourceval unresolve_opaque_paths : t -> t

Sourceval path_invalidate_module : Ident.path_module -> t -> t

Sourceval mto_invalidate_module : Ident.path_module -> t -> t

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

Source

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

Sourceval add_type : Ident.type_ -> Cpath.type_ -> Cpath.Resolved.type_ -> t -> t

Source

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

Source

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

Source

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

Source

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

Sourceval add_module_substitution : Ident.path_module -> t -> t

Sourceval type_ : t -> Component.TypeDecl.t -> Component.TypeDecl.t

Sourceval type_expr : t -> Component.TypeExpr.t -> Component.TypeExpr.t

Sourceval module_ : t -> Component.Module.t -> Component.Module.t

Sourceval module_type : t -> Component.ModuleType.t -> Component.ModuleType.t

Source

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

Source

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

Source

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

Sourceval exception_ : t -> Component.Exception.t -> Component.Exception.t

Sourceval extension : t -> Component.Extension.t -> Component.Extension.t

Sourceval include_ : t -> Component.Include.t -> Component.Include.t

Sourceval open_ : t -> Component.Open.t -> Component.Open.t

Sourceval value : t -> Component.Value.t -> Component.Value.t

Sourceval class_ : t -> Component.Class.t -> Component.Class.t

Sourceval class_decl : t -> Component.Class.decl -> Component.Class.decl

Sourceval class_type : t -> Component.ClassType.t -> Component.ClassType.t

Sourceval signature : t -> Component.Signature.t -> Component.Signature.t

Source

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

Apply substitutions. The third value is false if the corresponding signature needs to be compiled again and true otherwise.