let f c = count_xterm f c xv in
let f c = count_term f c w in
Cps.list_fold_left f count_par c pars
+ | _, _, Y.Void -> assert false
let print_counters f c =
let terms = c.tsorts + c.tlrefs + c.tgrefs + c.tappls + c.tabsts in
F.fprintf frm "@[%u@@%s%a%a:%a@]@\n%!"
(Y.mark C.err C.start a) (U.string_of_uri uri)
pp_pars pars (pp_body a) body pp_term u
+ | _, _, Y.Void -> assert false
let pp_entity f frm entity =
pp_entity frm entity; f ()