let l = B.new_location () in
let f t = f (B.Bind (l, id, B.Abst w, t)) in
let f c = xlate_term c f t in
- B.push f c l id (B.Abst w)
+ B.push "meta" f c l id (B.Abst w)
in
xlate_term c f w
let xlate_pars f pars =
let map f (id, w) c =
let l = B.new_location () in
- let f w = B.push f c l id (B.Abst w) in
+ let f w = B.push "meta" f c l id (B.Abst w) in
xlate_term c f w
in
C.list_fold_right f map pars B.empty_context