function render_command()

in scripts/extract_redis_commands_argcounts.php [292:298]


function render_command(string $name, array $command): string {
    $repr = $name;
    foreach ($command['arguments'] ?? [] as $argument) {
        $repr .= ' ' . render_arg($argument);
    }
    return $repr;
}