Index - U
| unariser | Gibbon.Passes.Unariser |
| unariserExp | Gibbon.Passes.Unariser |
| Undefined | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| unify | |
| 1 (Function) | Gibbon.L0.Typecheck |
| 2 (Function) | Gibbon.Passes.InferLocations |
| unifyl | Gibbon.L0.Typecheck |
| UnifyLoc | Gibbon.Passes.InferLocations |
| unifyVar | Gibbon.L0.Typecheck |
| unintern | Gibbon.Common |
| Unspecified | Gibbon.Common, Gibbon.Compiler |
| UnsupportedExpTC | |
| 1 (Data Constructor) | Gibbon.L2.Typecheck |
| 2 (Data Constructor) | Gibbon.L1.Typecheck |
| unTy2 | Gibbon.NewL2.Syntax |
| upd | Gibbon.L4.Syntax |
| updateAvailVars | Gibbon.L3.Syntax |
| UrTy | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| UrTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| UserTv | Gibbon.Common |