Legend:
Library
Module
Module type
Parameter
Class
Class type
type kind = [
  1. | `Module
  2. | `ModuleType
  3. | `Type
  4. | `Constructor
  5. | `Field
  6. | `Extension
  7. | `Exception
  8. | `Value
  9. | `Class
  10. | `ClassType
  11. | `Method
  12. | `InstanceVariable
  13. | `Label
]
type ('a, 'b) t =
  1. | Module : {
    1. canonical : ('a DocOckPaths.Path.module_ * 'a DocOckPaths.Reference.module_) option;
    2. hidden : bool;
    } -> ('a, [< kind Module ]) t
  2. | ModuleType : ('a, [< kind ModuleType ]) t
  3. | Type : ('a, [< kind Type ]) t
  4. | Constructor : string -> ('a, [< kind Constructor ]) t
  5. | Field : string -> ('a, [< kind Field ]) t
  6. | Extension : ('a, [< kind Extension ]) t
  7. | Exception : ('a, [< kind Exception ]) t
  8. | Value : ('a, [< kind Value ]) t
  9. | Class : ('a, [< kind Class ]) t
  10. | ClassType : ('a, [< kind ClassType ]) t
  11. | Method : ('a, [< kind Method ]) t
  12. | InstanceVariable : ('a, [< kind InstanceVariable ]) t
  13. | Label : string option -> ('a, [< kind Label ]) t
type 'a signature_module = ('a, [ `Module ]) t
type 'a signature_module_type = ('a, [ `ModuleType ]) t
type 'a signature_type = ('a, [ `Type | `Class | `ClassType ]) t
type 'a signature_constructor = ('a, [ `Constructor | `Extension | `Exception ]) t
type 'a signature_field = ('a, [ `Field ]) t
type 'a signature_extension = ('a, [ `Extension | `Exception ]) t
type 'a signature_exception = ('a, [ `Exception ]) t
type 'a signature_value = ('a, [ `Value ]) t
type 'a signature_class = ('a, [ `Class ]) t
type 'a signature_class_type = ('a, [ `Class | `ClassType ]) t
type 'a signature_label = ('a, [ `Label ]) t
type 'a signature = ('a, [ `Module | `ModuleType | `Type | `Constructor | `Field | `Extension | `Exception | `Value | `Class | `ClassType | `Label ]) t
type 'a datatype_constructor = ('a, [ `Constructor ]) t
type 'a datatype_field = ('a, [ `Field ]) t
type 'a datatype_label = ('a, [ `Label ]) t
type 'a datatype = ('a, [ `Constructor | `Field | `Label ]) t
type 'a class_signature_method = ('a, [ `Method ]) t
type 'a class_signature_instance_variable = ('a, [ `InstanceVariable ]) t
type 'a class_signature_label = ('a, [ `Label ]) t
type 'a class_signature = ('a, [ `Method | `InstanceVariable | `Label ]) t
type 'a page_label = ('a, [ `Label ]) t