| [] -> m, None, x
| (c, v) :: s ->
if N.is_zero n then Q.add_nonzero st.S.cc a;
- O.add ~beta:1 ~upsilon:(List.length s) ();
+ O.add ~beta:1 ~theta:(List.length s) ();
let e = B.push m.e c a (B.abbr v) (* (B.Cast ([], w, v)) *) in
step st {m with e = e; s = s} t
end
| B.Bind (a, b, t) ->
- O.add ~upsilon:(List.length m.s) ();
+ O.add ~theta:(List.length m.s) ();
let e = B.push m.e m.e a b in
step st {m with e = e} t