Module Core_kernel__.Pool.Error_check.Pointer

type 'slots t

A pointer to a tuple in a pool. 'slots will look like ('a1, ..., 'an) Slots.tn, and the tuples have type 'a1 * ... * 'an.

include sig ... end

val sexp_of_t : ('slots ‑> Sexplib.Sexp.t) ‑> 'slots t ‑> Sexplib.Sexp.t

val null : Core_kernel__.Import.unit ‑> _ t

The null pointer is a distinct pointer that does not correspond to a tuple in the pool. It is a function to prevent problems due to the value restriction.

val is_null : _ t ‑> Core_kernel__.Import.bool

val phys_compare : 'a t ‑> 'a t ‑> Core_kernel__.Import.int

val phys_equal : 'a t ‑> 'a t ‑> Core_kernel__.Import.bool

module Id : sig ... end