V_______________________________________________________________ *)
module C = Cps
-module Y = Entity
-module M = Marks
+module E = Entity
+module J = Marks
module D = Crg
module B = Brg
let rec xlate_term f = function
| D.TSort (a, l) -> f (B.Sort (a, l))
| D.TGRef (a, n) -> f (B.GRef (a, n))
- | D.TLRef (a, _, _) -> let f i = f (B.LRef (a, i)) in Y.apix C.err f a
+ | D.TLRef (a, _, _) -> let f i = f (B.LRef (a, i)) in E.apix C.err f a
| D.TCast (a, u, t) ->
let f uu tt = f (B.Cast (a, uu, tt)) in
let f uu = xlate_term (f uu) t in
and xlate_bind x a b =
let f a ns = a, ns in
- let a, ns = Y.get_names f a in
+ let a, ns = E.get_names f a in
match b with
| D.Abst ws ->
let map x n w =
- let f ww = B.Bind (n :: M.new_mark () :: a, B.Abst ww, x) in
+ let f ww = B.Bind (n :: J.new_mark () :: a, B.Abst ww, x) in
xlate_term f w
in
List.fold_left2 map x ns ws