SequenceNumber typedef

SequenceNumber = int

Implementation

typedef SequenceNumber = int;