(* *)
(***********************************************************************)
-(*
- Time-stamp: <Last modified on 2013-03-04 22:39:39 CET by Kim Nguyen>
-*)
-
include Hcons_sig
module type TableBuilder =
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