(* *)
(***********************************************************************)
-(*
- Time-stamp: <Last modified on 2013-03-04 23:05:14 CET by Kim Nguyen>
-*)
-
(** Implementation of generic hashconsing. *)
+(** {directinclude true} *)
include module type of Hcons_sig
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 ]