package odoc

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type root = [
  1. | `ModuleType of Cpath.Resolved.module_type
  2. | `Module of Cpath.Resolved.module_
]
type resolved_signature = [
  1. | `Root of root
  2. | `Subst of Cpath.Resolved.module_type * resolved_module
  3. | `Alias of Cpath.Resolved.module_ * resolved_module
  4. | `Module of resolved_signature * Odoc_model.Names.ModuleName.t
  5. | `OpaqueModule of resolved_module
]
and resolved_module_type = [
  1. | `ModuleType of resolved_signature * Odoc_model.Names.ModuleTypeName.t
]
type signature = [
  1. | `Resolved of resolved_signature
  2. | `Dot of signature * string
  3. | `Root
]
and module_ = [
  1. | `Resolved of resolved_module
  2. | `Dot of signature * string
]
and module_type = [
  1. | `Resolved of resolved_module_type
  2. | `Dot of signature * string
]
and type_ = [
  1. | `Resolved of resolved_type
  2. | `Dot of signature * string
]
type resolved_base_name =
  1. | RBase of root
  2. | RBranch of Odoc_model.Names.ModuleName.t * resolved_signature
type base_name =
  1. | Base of root option
  2. | Branch of Odoc_model.Names.ModuleName.t * signature
val resolved_signature_split_parent : resolved_signature -> resolved_base_name
val signature_split_parent : signature -> base_name
val resolved_module_split : resolved_module -> string * resolved_module option
val module_split : module_ -> string * module_ option
val resolved_module_type_split : resolved_module_type -> string * resolved_module_type option
val module_type_split : module_type -> string * module_type option
val resolved_type_split : resolved_type -> string * resolved_type option
val type_split : type_ -> string * type_ option
val unresolve_module : resolved_module -> module_
val unresolve_signature : resolved_signature -> signature
val unresolve_type : resolved_type -> type_
val unresolve_module_type : resolved_module_type -> module_type
OCaml

Innovation. Community. Security.