(value: unknown)
| 132 | } |
| 133 | |
| 134 | function num(value: unknown): number | undefined { |
| 135 | if (typeof value === "number" && Number.isFinite(value)) { |
| 136 | return value |
| 137 | } |
| 138 | |
| 139 | return undefined |
| 140 | } |
| 141 | |
| 142 | function inputLabel(input: Record<string, unknown>): string | undefined { |
| 143 | const description = text(input.description) |