Appearance
| 1 | namespace Semantic.Types is | |
| 2 | ||
| 3 | class NONE: Type is | |
| 4 | _instance: NONE? static; | |
| 5 | ||
| 6 | is_none: bool => true; | |
| 7 | ||
| 8 | instance: NONE static is | |
| 9 | if !_instance? then | |
| 10 | _instance = NONE(); | |
| 11 | fi | |
| 12 | ||
| 13 | return _instance; | |
| 14 | si | |
| 15 | ||
| 16 | init() is | |
| 17 | super.init(); | |
| 18 | si | |
| 19 | ||
| 20 | matches(other: Type) -> bool | |
| 21 | => false; | |
| 22 | ||
| 23 | compare(other: Type) -> Types.MATCH | |
| 24 | => MATCH.DIFFERENT; | |
| 25 | ||
| 26 | to_string() -> string => "---"; | |
| 27 | si | |
| 28 | si |