| _, _, _, E.Void ->
error1 err "reference to unknown entry" m y
end
- | B.Bind (a, b, t) ->
- let f () = b_validate err f st (BR.push m a b) t in
+ | B.Bind (y, b, t) ->
+ let f () = b_validate err f st (BR.push m y b) t in
begin match b with
| B.Abst (_, n, u) -> validate err f st m u
| B.Abbr v -> validate err f st m v
| B.Void -> f ()
end
- | B.Appl (_, x, v, t) ->
+ | B.Appl (x, v, t) ->
let f () = assert_applicability err f st m x v t in
let f () = b_validate err f st m t in
validate err f st m v
- | B.Cast (_, u, t) ->
+ | B.Cast (u, t) ->
let f () = assert_convertibility err f st m u t in
let f () = b_validate err f st m t in
validate err f st m u