(** 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 ]