Index - U
| U | |
| 1 (Data Constructor) | Ermine.Syntax.Sort |
| 2 (Data Constructor) | Ermine.Syntax.Convention |
| Unboxed | Ermine.Syntax.Kind |
| unboxed | Ermine.Syntax.Kind |
| uncaring | Ermine.Unification.Sharing |
| underline | Ermine.Pretty |
| Unguarded | Ermine.Syntax.Pattern |
| unifyKind | Ermine.Unification.Kind |
| unifyKindVar | Ermine.Unification.Kind |
| unifyType | Ermine.Unification.Type |
| Unknown | Ermine.Syntax.Core |
| unpackFixity | Ermine.Syntax.Global |
| unsharingT | Ermine.Unification.Sharing |
| Update | Ermine.Interpreter |
| update | |
| 1 (Function) | Ermine.Monitor.Combinators, Ermine.Monitor |
| 2 (Function) | Ermine.Syntax.G |
| Updating | Ermine.Monitor.Combinators, Ermine.Monitor |