Identifiers for definitions
type kind = Kind.identifiertype ('a, 'b) t = | Root : 'a * string -> ('a, [< kind Module ]) t| Module : 'a signature * string -> ('a, [< kind Module ]) t| Argument : 'a signature * int * string -> ('a, [< kind Module ]) t| ModuleType : 'a signature * string -> ('a, [< kind ModuleType ]) t| Type : 'a signature * string -> ('a, [< kind Type ]) t| CoreType : string -> ('a, [< kind Type ]) t| Constructor : 'a datatype * string -> ('a, [< kind Constructor ]) t| Field : 'a parent * string -> ('a, [< kind Field ]) t| Extension : 'a signature * string -> ('a, [< kind Extension ]) t| Exception : 'a signature * string -> ('a, [< kind Exception ]) t| CoreException : string -> ('a, [< kind Exception ]) t| Value : 'a signature * string -> ('a, [< kind Value ]) t| Class : 'a signature * string -> ('a, [< kind Class ]) t| ClassType : 'a signature * string -> ('a, [< kind ClassType ]) t| Method : 'a class_signature * string -> ('a, [< kind Method ]) t| InstanceVariable : 'a class_signature
* string -> ('a, [< kind InstanceVariable ]) t| Label : 'a parent * string -> ('a, [< kind Label ]) tand 'a signature = ('a, Kind.signature) tand 'a class_signature = ('a, Kind.class_signature) tand 'a datatype = ('a, Kind.datatype) tand 'a parent = ('a, Kind.parent) tval sexp_of_t : ('a -> {sexp}1) -> ('a, _) t -> {sexp}1type 'a module_ = ('a, Kind.identifier_module) ttype 'a module_type = ('a, Kind.identifier_module_type) ttype 'a type_ = ('a, Kind.identifier_type) ttype 'a constructor = ('a, Kind.identifier_constructor) ttype 'a field = ('a, Kind.identifier_field) ttype 'a extension = ('a, Kind.identifier_extension) ttype 'a exception_ = ('a, Kind.identifier_exception) ttype 'a value = ('a, Kind.identifier_value) ttype 'a class_ = ('a, Kind.identifier_class) ttype 'a class_type = ('a, Kind.identifier_class_type) ttype 'a method_ = ('a, Kind.identifier_method) ttype 'a instance_variable = ('a, Kind.identifier_instance_variable) ttype 'a label = ('a, Kind.identifier_label) ttype 'a path_module = ('a, Kind.path_module) ttype 'a path_module_type = ('a, Kind.path_module_type) ttype 'a path_type = ('a, Kind.path_type) ttype 'a path_class_type = ('a, Kind.path_class_type) ttype 'a fragment_module = ('a, Kind.fragment_module) ttype 'a fragment_type = ('a, Kind.fragment_type) ttype 'a reference_module = ('a, Kind.reference_module) ttype 'a reference_module_type = ('a, Kind.reference_module_type) ttype 'a reference_type = ('a, Kind.reference_type) ttype 'a reference_constructor = ('a, Kind.reference_constructor) ttype 'a reference_field = ('a, Kind.reference_field) ttype 'a reference_extension = ('a, Kind.reference_extension) ttype 'a reference_exception = ('a, Kind.reference_exception) ttype 'a reference_value = ('a, Kind.reference_value) ttype 'a reference_class = ('a, Kind.reference_class) ttype 'a reference_class_type = ('a, Kind.reference_class_type) ttype 'a reference_method = ('a, Kind.reference_method) ttype 'a reference_instance_variable = ('a, Kind.reference_instance_variable) ttype 'a reference_label = ('a, Kind.reference_label) tval signature_of_module_type : 'a module_type -> 'a signatureval class_signature_of_class : 'a class_ -> 'a class_signatureval class_signature_of_class_type : 'a class_type -> 'a class_signatureval parent_of_class_signature : 'a class_signature -> 'a parentval name : ('a, 'b) t -> stringval hash : hash:('a -> int) -> ('a, 'b) t -> intval signature_root : 'a signature -> 'aval module_root : 'a module_ -> 'aval module_type_root : 'a module_type -> 'aval class_signature_root : 'a class_signature -> 'a