let f c = unwind_to_xlate_term (f c) c u in
xlate_pars f pars
-let xlate_item f = function
+let xlate_unit f = function
| None -> f None
| Some e -> let f e = f (Some e) in xlate_entry f e
(* Interface functions ******************************************************)
-let brg_of_meta = xlate_item
+let brg_of_meta = xlate_unit