\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-val lift: (Brg.term -> 'a) -> int -> int -> Brg.term -> 'a
-
+val lift: int -> int -> Brg.term -> Brg.term
+(*
val lift_bind: (Brg.bind -> 'a) -> int -> int -> Brg.bind -> 'a
+*)