Z.get err0 f c i
| Z.GRef uri ->
let f = function
- | _, _, _, 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
in
ZE.get_entity f uri
| Z.Bind (y, l, Z.Abbr v, t) ->