Type
partition-offset
A position in a partition.
What commit and seek take. The offset is required here, which is
the point of the type: under one shared record it was optional, so a
caller could build a well-typed commit with nothing to commit and only
find out at run time.
type partition-offset = partition-offset;