explicitely by calling [init].
*)
-module PosInt : Abstract with type data = int and type t = int
+module PosInt : Abstract with type data = int and type t = private int
(** Compact implementation of hashconsed positive integer that
avoids boxing. [PosInt.make v] raises [Invalid_argument] if
[ v < 0 ]