projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add the results of reference implementations back.
[tatoo.git]
/
src
/
hcons.ml
diff --git
a/src/hcons.ml
b/src/hcons.ml
index
1fc059c
..
c950458
100644
(file)
--- a/
src/hcons.ml
+++ b/
src/hcons.ml
@@
-13,18
+13,14
@@
(* *)
(***********************************************************************)
(* *)
(***********************************************************************)
-(*
- Time-stamp: <Last modified on 2013-02-06 14:26:22 CET by Kim Nguyen>
-*)
-
-include Sigs.HCONS
+include Hcons_sig
module type TableBuilder =
functor
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;
struct
type data = H.t
type t = { id : Uid.t;
@@
-51,7
+47,7
@@
struct
let dummy x = { id = Uid.dummy; hash = H.hash x; node = x }
let make x =
let dummy x = { id = Uid.dummy; hash = H.hash x; node = x }
let make x =
- let cell =
{ id = Uid.dummy; hash = H.hash x; node = x }
in
+ let cell =
dummy x
in
try
T.find pool cell
with
try
T.find pool cell
with
@@
-61,7
+57,7
@@
struct
cell
end
cell
end
-module Make = Builder (
Utils
.HashSet)
+module Make = Builder (
Misc
.HashSet)
module Weak = Builder (Weak.Make)
module PosInt =
module Weak = Builder (Weak.Make)
module PosInt =