json-joy
    Preparing search index...

    Type Alias CompactCodecInsStrOperation

    CompactCodecInsStrOperation: [
        op: JsonCrdtPatchOpcode.ins_str,
        obj: CompactCodecTimestamp,
        after: CompactCodecTimestamp,
        value: string,
    ]

    Operation which inserts a substring into a "str" RGA-string data type.

    Settings

    Member Visibility