package doc-ock

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

References to definitions

module Resolved : sig ... end
type kind = Kind.reference
type ('a, 'b) t =
  1. | Resolved : ('a, 'b) Resolved.t -> ('a, 'b) t
  2. | Root : string -> ('a, [< kind ]) t
  3. | Dot : 'a parent * string -> ('a, [< kind ]) t
and 'a any = ('a, kind) t
and 'a signature = ('a, Kind.signature) t
and 'a class_signature = ('a, Kind.class_signature) t
and 'a datatype = ('a, Kind.datatype) t
and 'a parent = ('a, Kind.parent) t
type 'a module_ = ('a, Kind.reference_module) t
type 'a module_type = ('a, Kind.reference_module_type) t
type 'a type_ = ('a, Kind.reference_type) t
type 'a constructor = ('a, Kind.reference_constructor) t
type 'a field = ('a, Kind.reference_field) t
type 'a extension = ('a, Kind.reference_extension) t
type 'a exception_ = ('a, Kind.reference_exception) t
type 'a value = ('a, Kind.reference_value) t
type 'a class_ = ('a, Kind.reference_class) t
type 'a class_type = ('a, Kind.reference_class_type) t
type 'a method_ = ('a, Kind.reference_method) t
type 'a instance_variable = ('a, Kind.reference_instance_variable) t
type 'a label = ('a, Kind.reference_label) t
val sexp_of_t : ('a -> {sexp}1) -> ('a, _) t -> {sexp}1
val ident_module : 'a Identifier.module_ -> ('a, [< kind Module ]) t
val ident_module_type : 'a Identifier.module_type -> ('a, [< kind ModuleType ]) t
val ident_type : 'a Identifier.type_ -> ('a, [< kind Type ]) t
val ident_constructor : 'a Identifier.constructor -> ('a, [< kind Constructor ]) t
val ident_field : 'a Identifier.field -> ('a, [< kind Field ]) t
val ident_extension : 'a Identifier.extension -> ('a, [< kind Extension ]) t
val ident_exception : 'a Identifier.exception_ -> ('a, [< kind Exception ]) t
val ident_value : 'a Identifier.value -> ('a, [< kind Value ]) t
val ident_class : 'a Identifier.class_ -> ('a, [< kind Class ]) t
val ident_class_type : 'a Identifier.class_type -> ('a, [< kind ClassType ]) t
val ident_method : 'a Identifier.method_ -> ('a, [< kind Method ]) t
val ident_instance_variable : 'a Identifier.instance_variable -> ('a, [< kind InstanceVariable ]) t
val ident_label : 'a Identifier.label -> ('a, [< kind Label ]) t
val signature_of_module : 'a module_ -> 'a signature
val signature_of_module_type : 'a module_type -> 'a signature
val class_signature_of_class : 'a class_ -> 'a class_signature
val class_signature_of_class_type : 'a class_type -> 'a class_signature
val parent_of_signature : 'a signature -> 'a parent
val parent_of_class_signature : 'a class_signature -> 'a parent
val parent_of_datatype : 'a datatype -> 'a parent
val any : ('a, 'b) t -> 'a any
val module_ : 'a signature -> string -> ('a, [< kind Module ]) t
val module_type : 'a signature -> string -> ('a, [< kind ModuleType ]) t
val type_ : 'a signature -> string -> ('a, [< kind Type ]) t
val constructor : 'a datatype -> string -> ('a, [< kind Constructor ]) t
val field : 'a parent -> string -> ('a, [< kind Field ]) t
val extension : 'a signature -> string -> ('a, [< kind Extension ]) t
val exception_ : 'a signature -> string -> ('a, [< kind Exception ]) t
val value : 'a signature -> string -> ('a, [< kind Value ]) t
val class_ : 'a signature -> string -> ('a, [< kind Class ]) t
val class_type : 'a signature -> string -> ('a, [< kind ClassType ]) t
val method_ : 'a class_signature -> string -> ('a, [< kind Method ]) t
val instance_variable : 'a class_signature -> string -> ('a, [< kind InstanceVariable ]) t
val label : 'a parent -> string -> ('a, [< kind Label ]) t
val equal : equal:('a -> 'a -> bool) -> ('a, 'b) t -> ('a, 'b) t -> bool
val hash : hash:('a -> int) -> ('a, 'b) t -> int
OCaml

Innovation. Community. Security.