(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-02-06 18:43:46 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-04 22:39:39 CET by Kim Nguyen>
*)
-include Sigs.HCONS
+include Hcons_sig
module type TableBuilder =
functor
- (H : Sigs.AUX.HashedType) ->
- Sigs.AUX.HashSet with type data = H.t
+ (H : Common_sig.HashedType) ->
+ Common_sig.HashSet with type data = H.t
-module Builder (TB : TableBuilder) (H : Sigs.AUX.HashedType) =
+module Builder (TB : TableBuilder) (H : Common_sig.HashedType) =
struct
type data = H.t
type t = { id : Uid.t;