Index - U
| U | FFI.Opts |
| UApp | FFI.Untyped |
| UBuiltin | FFI.Untyped |
| UCase | FFI.Untyped |
| UCon | FFI.Untyped |
| UConstr | FFI.Untyped |
| uconv | FFI.Untyped |
| UDelay | FFI.Untyped |
| UError | FFI.Untyped |
| UForce | FFI.Untyped |
| ULambda | FFI.Untyped |
| unconv | Raw |
| unconvK | Raw |
| unconvT | Raw |
| unconvTyCon | Raw |
| unIndex | |
| 1 (Function) | FFI.Untyped |
| 2 (Function) | Raw |
| Unrelated | MAlonzo.RTE |
| UserError | Raw |
| usToHyphen | FFI.AgdaUnparse |
| UTerm | FFI.Untyped |
| UVar | FFI.Untyped |