public static void Encode(XdrDataOutputStream stream, SequenceNumber encodedSequenceNumber) { Int64.Encode(stream, encodedSequenceNumber.InnerValue); }
public static void Encode(XdrDataOutputStream stream, BumpSequenceOp encodedBumpSequenceOp) { SequenceNumber.Encode(stream, encodedBumpSequenceOp.BumpTo); }