json-joy
    Preparing search index...
    JsonCodecTimestamp: [sessionId: number, time: number] | number

    Represents a logical clock timestamp. If number, it is a relative timestamp and is relative to the patch ID. If array, it is an absolute timestamp, where array is a tuple of [sessionId, time].