\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
+module KF = Filename
module KP = Printf
module U = NUri
let _, _, a, b = B.get e i in
KP.fprintf och "%a" (name err) a
| B.GRef (_, s) ->
- KP.fprintf och "$%s" (U.string_of_uri s)
+ let u = U.string_of_uri s in
+ KP.fprintf och "$%s" (if !G.short then KF.basename u else u)
| B.Cast (_, u, t) ->
- KP.fprintf och "{%a}.%a" (pp_term st e) u (pp_term st e) t
+ KP.fprintf och "<%a>.%a" (pp_term st e) u (pp_term st e) t
| B.Appl (_, _, v, t) ->
KP.fprintf och "(%a).%a" (pp_term st e) v (pp_term st e) t
| B.Bind (a, B.Abst (r, n, w), t) ->