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
+ C.list_fold_right f map pars B.empty_lenv
let unwind_to_xlate_term f c t =
let map f t (l, id, b) = f (B.bind l id b t) in
let f c = unwind_to_xlate_term (f c) c u in
xlate_pars f pars
-let xlate_item f = function
+let xlate_entity f = function
| None -> f None
| Some e -> let f e = f (Some e) in xlate_entry f e
(* Interface functions ******************************************************)
-let bag_of_meta = xlate_item
+let bag_of_meta = xlate_entity