Type Definition Batch
merk
type Batch = [BatchEntry];
A mapping of keys and operations. Keys should be sorted and unique.