You can search for identifiers within the package.
in-package search v0.2.0
type 'a t
The type of identifiers associated to type 'a.
'a
val fresh : unit -> 'a t
Make a new, fresh identifier. This is the only way to obtain a value of type t.
t
type ('a, 'b) equal =
| Equal : ('a, 'a) equal
| Different : ('a, 'b) equal
Type constraint which is conditioned on identifier equality.
val equal : 'a t -> 'b t -> ('a, 'b) equal
Equality predicate.
val to_int : 'a t -> int
Convert an identifier to an integer. The integer is guaranteed to be unique for each call to fresh.
fresh
val is_equal : 'a t -> 'b t -> bool
equal projected to a plain bool.
equal
bool