module documentation
Pattern checker. This file is conceptually part of TypeChecker.
Class |
|
Pattern checker. |
Class |
|
Undocumented |
Function | get |
Undocumented |
Function | get |
Undocumented |
Function | get |
Warning: this in only true for expressions captured by a match statement. Don't call it from anywhere else |
Function | is |
Undocumented |
Constant | non |
Undocumented |
Constant | self |
Undocumented |