json-joy
    Preparing search index...

    Type Alias CompactCodecInsArrOperation

    CompactCodecInsArrOperation: [
        op: JsonCrdtPatchOpcode.ins_arr,
        obj: CompactCodecTimestamp,
        after: CompactCodecTimestamp,
        values: JsonCodecTimestamp[],
    ]

    Operation which inserts elements into an "arr" RGA array data type.

    Settings

    Member Visibility