module C = Cps
module U = NUri
module L = Log
+module O = Options
module Y = Entity
module X = Library
module H = Hierarchy
-module O = Output
module B = Brg
(* nodes count **************************************************************)
let rec aux f e n r =
let f = function
| true -> f n r
- | false -> aux f e (n ^ "'") r
+ | false -> aux f e (n ^ "_") r
in
does_not_occur f n r e
in
| 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 err _ = F.fprintf frm "@[#%u@]" i in
if !O.indexes then err () else
let a =
let err _ = a in
let f s = Y.Name (s, true) :: a in
- H.get_sort err f l
+ H.string_of_sort err f l
in
let attrs = [X.position l; X.name a] in
X.tag X.sort attrs out tab