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 |