module Pointer: sig
.. end
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
.
val null : unit -> 'a 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 : 'a t -> bool
val phys_compare : 'a t -> 'a t -> int
val phys_equal : 'a t -> 'a t -> bool
module Id: sig
.. end
val sexp_of_t : ('slots -> Sexplib.Sexp.t) -> 'slots t -> Sexplib.Sexp.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.
Pointer ids are serializable, but have no other operations.