module F = Format
module U = NUri
module L = Log
+module O = Options
module Y = Entity
module H = Hierarchy
-module O = Output
module B = Bag
type counters = {
| B.Sort h ->
let err () = F.fprintf frm "@[*%u@]" h in
let f s = F.fprintf frm "@[%s@]" s in
- H.get_sort err f h
+ H.string_of_sort err f h
| B.LRef i ->
let f = function
| Some (id, _) -> F.fprintf frm "@[%s@]" id