(***********************************************************************)
(** Implementation of generic hashconsing. *)
(***********************************************************************)
(** Implementation of generic hashconsing. *)
persistent: the are kept in memory even if no external reference
remain. Calling [init()] explicitely will reclaim the space.
*)
persistent: the are kept in memory even if no external reference
remain. Calling [init()] explicitely will reclaim the space.
*)
weak semantics: they may be reclaimed as soon as no external
reference to them exists. The space may still be reclaimed
explicitely by calling [init].
*)
weak semantics: they may be reclaimed as soon as no external
reference to them exists. The space may still be reclaimed
explicitely by calling [init].
*)
(** Compact implementation of hashconsed positive integer that
avoids boxing. [PosInt.make v] raises [Invalid_argument] if
[ v < 0 ]
(** Compact implementation of hashconsed positive integer that
avoids boxing. [PosInt.make v] raises [Invalid_argument] if
[ v < 0 ]