Parameter Make.A

type t
val equal : t -> t -> bool

Structural equality

val hash : t -> int

Structural hash

val set_id : t -> int -> unit

Change the ID of this hashconsed object. The ID must be uninitialized; this will only be called on uninitialized (new) objects.