module G = Options
module B = Brg
+IFDEF TYPE THEN
+
let rec icm a = function
| B.Sort _
| B.LRef _
| B.GRef _ as t -> t
| B.LRef (a, i) as t -> if i < d then t else map d a i
| B.Cast (w, v) -> B.Cast (iter_term d w, iter_term d v)
- | B.Appl (x, w, u) -> B.Appl (x, iter_term d w, iter_term d u)
+ | B.Appl (a, w, u) -> B.Appl (a, iter_term d w, iter_term d u)
| B.Bind (y, b, u) -> B.Bind (y, iter_bind d b, iter_term (succ d) u)
in
iter_term d
*)
iter (lift_map h) d t
end
+
+END