and xlate_bind f a b x = match b with
| D.Abst (n, w) ->
- let f ww = f (B.Bind (a, B.Abst (n, ww), x)) in
+ let f ww = f (B.Bind (a, B.Abst (false, n, ww), x)) in
xlate_term f w
| D.Abbr v ->
let f vv = f (B.Bind (a, B.Abbr vv, x)) in
xlate_bk_term f t
and xlate_bk_bind f = function
- | B.Abst (n, t) ->
+ | B.Abst (_, n, t) ->
let f tt = f (D.Abst (n, tt)) in
xlate_bk_term f t
- | B.Abbr t ->
+ | B.Abbr t ->
let f tt = f (D.Abbr tt) in
xlate_bk_term f t
- | B.Void -> f D.Void
+ | B.Void -> f D.Void
(* interface functions ******************************************************)