You can search for identifiers within the package.
in-package search v0.2.0
type_id
Type_id
type 'a t
Serves as a unique identifier for some type 'a.
'a
module Error : sig ... end
Types of errors produced by this module.
val make : label:string -> 'a t
make ~label creates an identifier with label for some type t
make ~label
label
t
val label : 'a t -> string
label id gets the label of a given t, which was given to make during construction.
label id
make
val eq : 'a t -> 'b t -> ('a, 'b) Type_eq.t option
eq t_a t_b produces an equality proof if t_a and t_b are the same ID
eq t_a t_b
t_a
t_b
val eq_res : 'a t -> 'b t -> (('a, 'b) Type_eq.t, Error.t) result
Similar to !eq except returns a result
!eq
result