package odoc
OCaml documentation generator
Install
dune-project
Dependency
Authors
Maintainers
Sources
odoc-2.1.1.tbz
sha256=f574dbd28cd0fc3a2b95525c4bb95ddf6d1f6408bb4fe12157fa537884f987fd
sha512=1c545c281a7022a167f028fff8cec6fb3f2f82da0881431be74e7a4281c5353ed83bfbdb4d9d9e08af6755dbe3505c052c5e5b58cdeb08c57aed5e89c0f15e91
doc/odoc.xref2/Odoc_xref2/Subst/index.html
Module Odoc_xref2.Subst
type t = Component.Substitution.tval identity : tval path_invalidate_module : Ident.path_module -> t -> tval mto_invalidate_module : Ident.path_module -> t -> tval add_module :
Ident.path_module ->
Cpath.module_ ->
Cpath.Resolved.module_ ->
t ->
tval add_module_type :
Ident.module_type ->
Cpath.module_type ->
Cpath.Resolved.module_type ->
t ->
tval add_type : Ident.type_ -> Cpath.type_ -> Cpath.Resolved.type_ -> t -> tval add_class :
Ident.class_ ->
Cpath.class_type ->
Cpath.Resolved.class_type ->
t ->
tval add_class_type :
Ident.class_type ->
Cpath.class_type ->
Cpath.Resolved.class_type ->
t ->
tval add_type_replacement :
Ident.path_type ->
Component.TypeExpr.t ->
Component.TypeDecl.Equation.t ->
t ->
tval add_module_type_replacement :
Ident.module_type ->
Component.ModuleType.expr ->
t ->
tval add_module_substitution : Ident.path_module -> t -> tval type_ : t -> Component.TypeDecl.t -> Component.TypeDecl.tval type_expr : t -> Component.TypeExpr.t -> Component.TypeExpr.tval module_ : t -> Component.Module.t -> Component.Module.tval module_type : t -> Component.ModuleType.t -> Component.ModuleType.tval module_type_substitution :
t ->
Component.ModuleTypeSubstitution.t ->
Component.ModuleTypeSubstitution.tval module_substitution :
t ->
Component.ModuleSubstitution.t ->
Component.ModuleSubstitution.tval module_type_expr :
t ->
Component.ModuleType.expr ->
Component.ModuleType.exprval exception_ : t -> Component.Exception.t -> Component.Exception.tval extension : t -> Component.Extension.t -> Component.Extension.tval include_ : t -> Component.Include.t -> Component.Include.tval open_ : t -> Component.Open.t -> Component.Open.tval value : t -> Component.Value.t -> Component.Value.tval class_ : t -> Component.Class.t -> Component.Class.tval class_decl : t -> Component.Class.decl -> Component.Class.declval class_type : t -> Component.ClassType.t -> Component.ClassType.tval signature : t -> Component.Signature.t -> Component.Signature.tval apply_sig_map :
t ->
Component.Signature.item list ->
Component.Signature.removed_item list ->
Component.Signature.item list * Component.Signature.removed_item list * boolApply substitutions. The third value is false if the corresponding signature needs to be compiled again and true otherwise.