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.