let _ = WH.add pool empty
-let is_empty = function { id = 0 } -> true | _ -> false
+let is_empty s = s.id==0
let rec norm n =
let v = { id = gen_uid ();
let zero_bit k m = (k land m) == 0
-let singleton k = if k < 0 then failwith "singleton" else leaf k
+let singleton k = leaf k
let rec mem k n = match n.node with
| Empty -> false