Index - U
| U16 | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| u16 | IR.Constraint.Type |
| U32 | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| u32 | IR.Constraint.Type |
| U64 | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| u64 | IR.Constraint.Type |
| U8 | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| u8 | IR.Constraint.Type |
| unAlex | Front.Scanner |
| unAnnotate | Common.Pretty |
| unAnnotateS | Common.Pretty |
| unAnnotations | IR.Types.Type, IR.Types, IR.Constraint.Canonical |
| Unbounded | Common.Pretty |
| uncarryAttachment | IR.Constraint.Type |
| undef | Codegen.Codegen |
| unexpected | Common.Compiler |
| UnexpectedError | Common.Compiler |
| unfoldApp | IR.IR |
| unfoldArrow | IR.Types.Type, IR.Types, IR.Constraint.Canonical |
| unfoldLambda | IR.IR |
| ungenId | Common.Identifiers |
| Unify | |
| 1 (Type/Class) | IR.Constraint.Unify |
| 2 (Data Constructor) | IR.Constraint.Unify |
| unify | IR.Constraint.Unify |
| unifyArgs | IR.Constraint.Unify |
| unifyFlex | IR.Constraint.Unify |
| unifyRigid | IR.Constraint.Unify |
| unifyStructure | IR.Constraint.Unify |
| UnimplementedError | Common.Compiler |
| uninitializedSymTable | IR.IR |
| union | IR.Constraint.UnionFind |
| Unit | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| unit | |
| 1 (Function) | Codegen.Codegen |
| 2 (Function) | IR.Constraint.Type |
| unmarshal | Codegen.LibSSM |
| unsafeViaShow | Common.Pretty |
| unScheme | IR.Types.Type, IR.Types |
| useful | IR.Pattern.Anomaly |
| usefulInductive | IR.Pattern.Anomaly |
| User | Front.Identifiers |