in scripts/extract_redis_commands_argcounts.php [272:290]
function render_arg(array $argument): string {
if ($argument['optional'] ?? false) {
unset($argument['optional']);
return '[' . render_arg($argument) . ']';
}
if ($argument['enum'] ?? null) {
return implode('|', $argument['enum']);
}
if ($argument['command'] ?? null) {
return $argument['command'];
}
$name = $argument['name'];
$repr = is_array($name) ? implode(' ', $name) : $name;
if ($argument['multiple'] ?? false) {
return "$repr [$repr …]";
}
return $repr;
}