(text: string)
| 261 | |
| 262 | /** Render a paragraph of explanatory text indented under a section. */ |
| 263 | export function paragraph(text: string): void { |
| 264 | const wrapped = text.split('\n').map(l => ` ${l}`).join('\n'); |
| 265 | console.log(wrapped); |
| 266 | } |
| 267 | |
| 268 | function divider(): string { |
| 269 | return '─'.repeat(70); |