Index - U
| UnaryOperator | Trees.Common |
| UnboundVar | TypeChecker.HindleyMilner |
| unitLitP | Parser.Lexer |
| UnMinusOp | Trees.Common |
| Unreachable | TypeChecker.HindleyMilner |
| UTBool | TypeChecker.HindleyMilner |
| UTerm | TypeChecker.HindleyMilner |
| UTFun | TypeChecker.HindleyMilner |
| UTInt | TypeChecker.HindleyMilner |
| UTUnit | TypeChecker.HindleyMilner |
| UTVar | TypeChecker.HindleyMilner |
| UType | TypeChecker.HindleyMilner |