References

C Measure

C IntegerAdd

C IntegerMax

C IntegerMul

C KeyMonoid

C Product

F product(a: *, b: *): *

V NoKey: {}

C Counter

C Interval

C KeyLen

C KeyMeasure

C Max

V Monoids: {"INTEGER_ADD": *, "INTEGER_MUL": *, "INTEGER_MAX": *, "KEY": *, "KEY_MAX": *, "KEY_ADD": *}

V Measures: {"COUNTER": *, "MAX": *, "KEY": *, "KEY_LEN": *, "INTERVAL": *, "PRIO": *, "SIZE": *, "LEN": *}