function-dump ( args -- )

Vocabulary

redis.command-writer

Inputs

args

an object

Outputs

None

Definition

IN: redis.command-writer

: function-dump ( args -- )
    { "FUNCTION" "DUMP" } write-command ;