method
private
incr_ifs metrics =
metrics := {!metrics
with
cifs = succ !metrics.cifs;}