let f tt uu = f (B.Cast (uu, tt)) in
let f tt = xlate_term (f tt) u in
xlate_term f t
- | D.TAppl (x, v, t) ->
- let f tt vv = f (B.Appl (x, vv, tt)) in
+ | D.TAppl (a, v, t) ->
+ let f tt vv = f (B.Appl (a, vv, tt)) in
let f tt = xlate_term (f tt) v in
xlate_term f t
| D.TProj (e, t) ->
let f tt uu = f (D.TCast (uu, tt)) in
let f tt = xlate_bk_term (f tt) u in
xlate_bk_term f t
- | B.Appl (x, u, t) ->
- let f tt uu = f (D.TAppl (x, uu, tt)) in
+ | B.Appl (a, u, t) ->
+ let f tt uu = f (D.TAppl (a, uu, tt)) in
let f tt = xlate_bk_term (f tt) u in
xlate_bk_term f t
| B.Bind (y, b, t) ->