- | _, _, E.Abst (_, w) -> f x w
- | _, _, E.Abbr (Z.Cast (w, v)) -> f x w
- | _, _, E.Abbr _ -> assert false
- | _, _, E.Void -> assert false
+ | _, _, _, E.Abst (_, w) -> f x w
+ | _, _, _, E.Abbr (_, Z.Cast (w, v)) -> f x w
+ | _, _, _, E.Abbr _ -> assert false
+ | _, _, _, E.Void -> assert false