()
| 378 | } |
| 379 | toHTML(): HTMLElement { |
| 380 | const span = document.createElement("span"); |
| 381 | this.imprintName(span); |
| 382 | span.textContent = "Fermi doesn't impl this yet"; |
| 383 | return span; |
| 384 | } |
| 385 | } |
| 386 | class OptionError extends Error { |
| 387 | constructor(reason: string) { |
| 388 | super(reason); |