# Module Pool_intf.S.Pointer

    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.