module C = Cps
module E = Entity
-module J = Marks
module N = Level
module D = Crg
module B = Brg
and xlate_bind f a b x = match b with
| D.Abst (n, w) ->
- let f ww = f (B.Bind (J.new_mark () :: a, B.Abst (n, ww), x)) in
+ let f ww = f (B.Bind (a, B.Abst (n, ww), x)) in
xlate_term f w
| D.Abbr v ->
let f vv = f (B.Bind (a, B.Abbr vv, x)) in