Max

BatchID

MillisecondBatcher

batch

Min

BatchID

max

BatchID

min

BatchID

monoid

BatchID