module P = Printf
module F = Format
module U = NUri
-module C = Cps
module L = Log
module H = Hierarchy
+module O = Output
module B = Bag
type counters = {
L.warn (P.sprintf " Total binder locations: %7u" locations);
f ()
-let indexes = ref false
-
let res l id =
- if !indexes then P.sprintf "#%u" l else id
+ if !O.indexes then P.sprintf "#%u" l else id
let rec pp_term c frm = function
| B.Sort h ->
| Some (id, _) -> F.fprintf frm "@[%s@]" id
| None -> F.fprintf frm "@[#%u@]" i
in
- if !indexes then f None else B.get f c i
+ if !O.indexes then f None else B.get f c i
| B.GRef s -> F.fprintf frm "@[$%s@]" (U.string_of_uri s)
| B.Cast (u, t) ->
F.fprintf frm "@[{%a}.%a@]" (pp_term c) u (pp_term c) t