module KH = Hashtbl
-module L = Log
-module P = Marks
-module G = Options
+module L = Log
+module P = Marks
+module G = Options
type value = Inf (* infinite layer *)
| Fin of int (* finite layer *)
end; b end
let is_not_zero st n =
- let _, n = resolve_layer st n in n.v <> zero
+(* let _, n = resolve_layer st n in *) n.v <> zero
+let are_equal st n1 n2 =
+(*
+ let _, n1 = resolve_layer st n1 in
+ let _, n2 = resolve_layer st n2 in
+*)
+ n1.v = n2.v