projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Cosmetic changes in the Patricia Tree code.
[tatoo.git]
/
src
/
utils.ml
diff --git
a/src/utils.ml
b/src/utils.ml
index
2c3772d
..
1224f2a
100644
(file)
--- a/
src/utils.ml
+++ b/
src/utils.ml
@@
-17,9
+17,8
@@
*)
INCLUDE "utils.ml"
*)
INCLUDE "utils.ml"
-
module HashSet (H : Hashtbl.HashedType) :
module HashSet (H : Hashtbl.HashedType) :
- Sigs.HashSet with type data = H.t =
+ Sigs.
AUX.
HashSet with type data = H.t =
struct
module T = Hashtbl.Make(H)
type data = H.t
struct
module T = Hashtbl.Make(H)
type data = H.t
@@
-33,8
+32,8
@@
struct
let mem = T.mem
end
let mem = T.mem
end
-module Pair (X : Sigs.
Type) (Y : Sigs
.Type) :
- Sigs.Type with type t = X.t * Y.t =
+module Pair (X : Sigs.
AUX.Type) (Y : Sigs.AUX
.Type) :
+ Sigs.
AUX.
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)
struct
type t = X.t * Y.t
let hash (x, y) = HASHINT2(X.hash x, Y.hash y)