let env_size = 1300
-let zero = Fin 0
-
let warn s = L.warn level s
+let zero = Fin 0
+
let string_of_value k = function
| Inf -> ""
| Fin i -> string_of_int i
if b && k1 <> J.null_mark && k2 <> J.null_mark then begin
n1.v <- Ref (k2, 0); if !G.trace >= level then pp_table st
end; b end
+
+let is_not_zero st n =
+ let _, n = resolve_layer st n in n.v <> zero