(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-01-30 19:08:42 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-04 23:05:14 CET by Kim Nguyen>
*)
(** Implementation of generic hashconsing. *)
-include module type of Sigs.HCONS
+include module type of Hcons_sig
(** Output signature of the functor {!Hcons.Make} *)
-module Make (H : Sigs.AUX.HashedType) : S with type data = H.t
+module Make (H : Common_sig.HashedType) : S with type data = H.t
(** Functor building an implementation of hashconsed values for a given
- implementation of {!Sigs.HashedType}. Hashconsed values are
+ implementation of {!Common_sig.HashedType}. Hashconsed values are
persistent: the are kept in memory even if no external reference
remain. Calling [init()] explicitely will reclaim the space.
*)
-module Weak (H : Sigs.AUX.HashedType) : S with type data = H.t
+module Weak (H : Common_sig.HashedType) : S with type data = H.t
(** Functor building an implementation of hashconsed values for a given
- implementation of {!Sigs.HashedType}. Hashconsed values have a
+ implementation of {!Common_sig.HashedType}. Hashconsed values have a
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].