| B.Abst -> f {c with eabsts = succ c.eabsts}
| B.Abbr -> f {c with eabbrs = succ c.eabbrs}
-let count_obj f c (b, t) =
+let count_obj f c (_, _, b, t) =
let f c = count_obj_binder f c b in
count_term f c t
let count_item f c = function
- | Some (obj, _) -> count_obj f c obj
- | None -> f c
+ | Some obj -> count_obj f c obj
+ | None -> f c
let print_counters f c =
let terms =