(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-01-30 19:05:20 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-04 23:00:19 CET by Kim Nguyen>
*)
(** Various generic signatures and generic module and functor definitions
INCLUDE "utils.ml"
module HashSet (H : Hashtbl.HashedType) :
- Sigs.AUX.HashSet with type data = H.t =
+ Common_sig.HashSet with type data = H.t =
struct
module T = Hashtbl.Make(H)
type data = H.t
let mem = T.mem
end
-module Pair (X : Sigs.AUX.Type) (Y : Sigs.AUX.Type) :
- Sigs.AUX.Type with type t = X.t * Y.t =
+module Pair (X : Common_sig.Type) (Y : Common_sig.Type) :
+ Common_sig.Type with type t = X.t * Y.t =
struct
type t = X.t * Y.t
let hash (x, y) = HASHINT2(X.hash x, Y.hash y)