module U = NUri
module C = Cps
module L = Log
+module H = Hierarchy
module B = Brg
type counters = {
f ()
let rec pp_term c frm = function
- | B.Sort h -> F.fprintf frm "@[*%u@]" h
+ | B.Sort h ->
+ let f = function
+ | Some s -> F.fprintf frm "@[%s@]" s
+ | None -> F.fprintf frm "@[*%u@]" h
+ in
+ H.get_sort f h
| B.LRef i ->
let f = function
| Some (id, _) -> F.fprintf frm "@[%s@]" id