- begin match E.get_entity uri with
- | _, _, Y.Abst w -> f x w
- | _, _, Y.Abbr (B.Cast (_, w, _)) -> f x w
- | _, _, Y.Abbr _ -> assert false
- | _, _, Y.Void ->
+ begin match BE.get_entity uri with
+ | _, _, E.Abst (_, w) -> f x w
+ | _, _, E.Abbr (B.Cast (_, w, _)) -> f x w
+ | _, _, E.Abbr _ -> assert false
+ | _, _, E.Void ->