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;
}