type ('a, 'b) t = | Module : {canonical : ('a DocOckPaths.Path.module_ * 'a DocOckPaths.Reference.module_)
option;hidden : bool;} -> ('a, [< kind Module ]) t| ModuleType : ('a, [< kind ModuleType ]) t| Type : ('a, [< kind Type ]) t| Constructor : string -> ('a, [< kind Constructor ]) t| Field : string -> ('a, [< kind Field ]) t| Extension : ('a, [< kind Extension ]) t| Exception : ('a, [< kind Exception ]) t| Value : ('a, [< kind Value ]) t| Class : ('a, [< kind Class ]) t| ClassType : ('a, [< kind ClassType ]) t| Method : ('a, [< kind Method ]) t| InstanceVariable : ('a, [< kind InstanceVariable ]) t| Label : string option -> ('a, [< kind Label ]) ttype 'a signature_module = ('a, [ `Module ]) ttype 'a signature_module_type = ('a, [ `ModuleType ]) ttype 'a signature_type = ('a, [ `Type | `Class | `ClassType ]) ttype 'a signature_constructor =
('a, [ `Constructor | `Extension | `Exception ]) ttype 'a signature_field = ('a, [ `Field ]) ttype 'a signature_extension = ('a, [ `Extension | `Exception ]) ttype 'a signature_exception = ('a, [ `Exception ]) ttype 'a signature_value = ('a, [ `Value ]) ttype 'a signature_class = ('a, [ `Class ]) ttype 'a signature_class_type = ('a, [ `Class | `ClassType ]) ttype 'a signature_label = ('a, [ `Label ]) ttype 'a signature =
('a,
[ `Module
| `ModuleType
| `Type
| `Constructor
| `Field
| `Extension
| `Exception
| `Value
| `Class
| `ClassType
| `Label ])
ttype 'a datatype_constructor = ('a, [ `Constructor ]) ttype 'a datatype_field = ('a, [ `Field ]) ttype 'a datatype_label = ('a, [ `Label ]) ttype 'a datatype = ('a, [ `Constructor | `Field | `Label ]) ttype 'a class_signature_method = ('a, [ `Method ]) ttype 'a class_signature_instance_variable = ('a, [ `InstanceVariable ]) ttype 'a class_signature_label = ('a, [ `Label ]) ttype 'a class_signature = ('a, [ `Method | `InstanceVariable | `Label ]) t