module M = Meta
(* Internal functions *******************************************************)
let rec xlate_term c f = function
| M.Sort s ->
module M = Meta
(* Internal functions *******************************************************)
let rec xlate_term c f = function
| M.Sort s ->
- let l = B.new_location () in
- let f t = f (B.Bind (l, id, B.Abst w, t)) in
+ let l = Z.new_location () in
+ let f t = f (Z.Bind (l, id, Z.Abst w, t)) in