log1 "Now checking" c x;
match x with
| B.Sort h ->
- let f h = f x (B.Sort h) in H.apply f g h
+ let h = H.apply g h in f x (B.Sort h)
| B.LRef i ->
let f = function
| Some (_, B.Abst w) -> f x w
| _, _, Y.Abst w -> f x w
| _, _, Y.Abbr (B.Cast (w, v)) -> f x w
| _, _, Y.Abbr _ -> assert false
+ | _, _, Y.Void -> assert false
in
E.get_entity f uri
| B.Bind (l, id, B.Abbr v, t) ->