json-joy
    Preparing search index...

    Type Alias CompactCodecDelOperation

    CompactCodecDelOperation: [
        op: JsonCrdtPatchOpcode.del,
        obj: CompactCodecTimestamp,
        what: CompactCodecTimespan[],
    ]

    The "del" operation deletes contents from list CRDT (RGA) data types, such as "str", "bin", and "arr". The what property specifies the ranges of contents to delete.

    Settings

    Member Visibility