- | B.GRef (_, uri) ->
- 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 ->
- error1 err "reference to unknown entry" m x
+ | B.GRef (_, u) ->
+ begin match BE.get_entity u with
+ | _, _, _, E.Abst (_, w) -> f z w
+ | _, _, _, E.Abbr (_, B.Cast (w, _)) -> f z w
+ | _, _, _, E.Abbr _ -> assert false
+ | _, _, _, E.Void ->
+ error1 err "reference to unknown entry" m z