c.tabbrs
in
let items = c.eabsts + c.eabbrs in
+ let locations = B.locations () in
L.warn (P.sprintf " Kernel representation summary (basic_ag)");
L.warn (P.sprintf " Total entry items: %6u" items);
L.warn (P.sprintf " Declaration items: %6u" c.eabsts);
L.warn (P.sprintf " Application items: %6u" c.tappls);
L.warn (P.sprintf " Abstraction items: %6u" c.tabsts);
L.warn (P.sprintf " Abbreviation items: %6u" c.tabbrs);
+ L.warn (P.sprintf " Total binder locations: %6u" locations);
f ()
let indexes = ref false