(value: unknown)
| 33 | } |
| 34 | |
| 35 | function readString(value: unknown): string | undefined { |
| 36 | if (typeof value === "string" && value.length > 0) return value; |
| 37 | if (typeof value === "number") return String(value); |
| 38 | return undefined; |
| 39 | } |
| 40 | |
| 41 | function clip(value: string, max: number): string { |
| 42 | if (value.length <= max) return value; |