Upool.S
type token
type value
include Custom.T with type t = token typed_int
type t
= token typed_int
val dump : Stdlib.Format.formatter -> t -> unit
val check : t -> unit
val equal : t -> t -> bool
val hash : t -> int
val compare : t -> t -> int
exception
Not_unique of value * value
val dummy : t
val min : t -> t -> t
val mk : value -> t
val value : t -> value
val extract : unit -> value array
val intract : value array -> unit
val from_int : int -> t