| UCOMMENT | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| UF | Morley.Michelson.Macro |
| unAlias | Morley.Tezos.Address.Alias |
| unAnchor | Morley.Util.Markdown |
| unAnnotation | Morley.Michelson.Untyped.Annotation, Morley.Michelson.Untyped |
| unaryArithImpl | Morley.Michelson.TypeCheck.Helpers |
| unaryArithImplAnnotated | Morley.Michelson.TypeCheck.Helpers |
| UnaryArithOp | Morley.Michelson.Typed.Arith, Morley.Michelson.Typed |
| UnaryArithRes | Morley.Michelson.Typed.Arith, Morley.Michelson.Typed, Morley.Michelson.Typed |
| unBigMapId | Morley.Michelson.Typed.Haskell.Value, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| unBimap | Morley.Util.Bimap |
| unChainId | Morley.Tezos.Core |
| unconsListProof | Morley.Michelson.Optimizer.Internal.Proofs |
| unContractCode | Morley.Michelson.Typed.Contract, Morley.Michelson.Typed |
| unDynamicSize | Morley.Micheline.Binary.Internal |
| unEntriesOrder | Morley.Michelson.Untyped.Contract, Morley.Michelson.Untyped |
| unEpName | Morley.Michelson.Untyped.Entrypoints, Morley.Michelson.Untyped, Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| unErrorSrcPos | Morley.Michelson.ErrorPos |
| unescape | Morley.Util.Interpolate.Internal |
| Unescaping | Morley.Util.Interpolate.Internal |
| UnexpectedBigMapType | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| UnexpectedLength | Morley.Tezos.Crypto.BLS12381 |
| UnexpectedTopLevelType | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| UnexpectedType | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| unGlobalCounter | Morley.Tezos.Address |
| unHexJSONByteString | Morley.Util.ByteString |
| unImplicitAddress | Morley.Tezos.Address |
| unindent | Morley.Util.Interpolate.Internal |
| Unindenting | Morley.Util.Interpolate.Internal |
| unInternalByteString | Morley.Michelson.Untyped.Value, Morley.Michelson.Untyped |
| UNIT | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| UnknownContract | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| unknownTag | Morley.Util.Binary |
| unMorleyLogs | Morley.Michelson.Interpret |
| unMText | Morley.Michelson.Text |
| unMutez | Morley.Tezos.Core |
| unOperationHash | Morley.Michelson.Typed.Operation |
| UNPACK | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| UnpackedValScope | Morley.Michelson.Typed.Scope.Internal.Scopes, Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| UnpackedValScopeC | Morley.Michelson.Typed.Scope.Internal.Scopes |
| UnpackError | |
| 1 (Type/Class) | Morley.Util.Binary, Morley.Michelson.Interpret.Unpack |
| 2 (Data Constructor) | Morley.Util.Binary, Morley.Michelson.Interpret.Unpack |
| unpackInstr' | Morley.Michelson.Interpret.Unpack |
| unpackUValue' | Morley.Michelson.Interpret.Unpack |
| unpackValue' | Morley.Michelson.Interpret.Unpack |
| UNPAIR | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| UnpairArgument | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| unpairMisc | Morley.Michelson.Optimizer.Internal.Rules |
| UNPAIRN | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| 3 (Data Constructor) | Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum |
| UnpairN | Morley.Michelson.Typed.Instr.Constraints |
| unpairN2isUnpairProof | Morley.Michelson.Optimizer.Internal.Proofs |
| unpairNExtensionThm | Morley.Michelson.Typed.Instr.Internal.Proofs |
| unpairNisUnpairDipUnpairNProof | Morley.Michelson.Optimizer.Internal.Proofs |
| unpairOp | Morley.Michelson.Parser.Instr |
| UnpairStruct | Morley.Michelson.Macro |
| UNPAPAIR | Morley.Michelson.Macro |
| unPos | Morley.Michelson.ErrorPos |
| unPrintComment | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| unPublicKey | |
| 1 (Function) | Morley.Tezos.Crypto.Secp256k1 |
| 2 (Function) | Morley.Tezos.Crypto.P256 |
| 3 (Function) | Morley.Tezos.Crypto.Ed25519 |
| 4 (Function) | Morley.Tezos.Crypto.BLS |
| unrollDips | Morley.Michelson.Optimizer.Internal.Rules |
| unrollDropN | Morley.Michelson.Optimizer.Internal.Rules |
| unrollPairN | Morley.Michelson.Optimizer.Internal.Rules |
| unrollUnpairN | Morley.Michelson.Optimizer.Internal.Rules |
| unRule | Morley.Michelson.Optimizer.Internal.Ruleset, Morley.Michelson.Optimizer |
| unRuleset | Morley.Michelson.Optimizer.Internal.Ruleset |
| unsafeAddMutez | Morley.Tezos.Core |
| UnsafeAnnotation | Morley.Michelson.Untyped.Annotation, Morley.Michelson.Untyped |
| UnsafeChainId | Morley.Tezos.Core |
| unsafeConcreteTypeDocHaskellRep | Morley.Michelson.Typed.Haskell.Doc, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| unsafeConcreteTypeDocMichelsonRep | Morley.Michelson.Typed.Haskell.Doc, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| unsafeEpcCallRoot | Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| UnsafeEpName | Morley.Michelson.Untyped.Entrypoints, Morley.Michelson.Untyped, Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| unsafeFromList | Morley.Util.SizedList |
| unsafeInstrUnwrap | Morley.Michelson.Typed.Haskell.Instr.Sum, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| UnsafeMText | Morley.Michelson.Text |
| unsafeMulMutez | Morley.Tezos.Core |
| UnsafeMutez | Morley.Tezos.Core |
| UnsafeParamNotes | Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| unsafeReadFromHex | Morley.Tezos.Crypto.BLS12381 |
| unsafeSepcCallRoot | Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| unsafeSubMutez | Morley.Tezos.Core |
| UnsafeTLTime | Morley.Tezos.Crypto.Timelock, Morley.Tezos.Crypto |
| UnsafeViewName | Morley.Michelson.Internal.ViewName, Morley.Michelson.Untyped.View, Morley.Michelson.Untyped, Morley.Michelson.Typed.View, Morley.Michelson.Typed |
| unsafeWithWTP | Morley.Michelson.TypeCheck.Types, Morley.Michelson.TypeCheck |
| unSignature | |
| 1 (Function) | Morley.Tezos.Crypto.Secp256k1 |
| 2 (Function) | Morley.Tezos.Crypto.P256 |
| 3 (Function) | Morley.Tezos.Crypto.Ed25519 |
| 4 (Function) | Morley.Tezos.Crypto.BLS |
| unSomeInterpretResult | Morley.Michelson.Runtime |
| unStringEncode | Morley.Micheline.Json, Morley.Micheline |
| UnsupportedTypeForScope | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| unTezosMutez | Morley.Micheline.Json, Morley.Micheline |
| unTimestamp | Morley.Tezos.Core |
| unTLTime | Morley.Tezos.Crypto.Timelock, Morley.Tezos.Crypto |
| untypeDemoteT | Morley.Michelson.Typed.Convert, Morley.Michelson.Typed |
| UntypedValScope | Morley.Michelson.Typed.Scope.Internal.Scopes, Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| UntypedValScopeC | Morley.Michelson.Typed.Scope.Internal.Scopes |
| untypeValue | Morley.Michelson.Typed.Convert, Morley.Michelson.Typed |
| untypeValueHashable | Morley.Michelson.Typed.Convert, Morley.Michelson.Typed |
| untypeValueOptimized | Morley.Michelson.Typed.Convert, Morley.Michelson.Typed |
| unUnpackError | Morley.Util.Binary, Morley.Michelson.Interpret.Unpack |
| unUPrintComment | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| unViewName | Morley.Michelson.Internal.ViewName, Morley.Michelson.Untyped.View, Morley.Michelson.Untyped, Morley.Michelson.Typed.View, Morley.Michelson.Typed |
| unViewsSet | |
| 1 (Function) | Morley.Michelson.Untyped.View, Morley.Michelson.Untyped |
| 2 (Function) | Morley.Michelson.Typed.View, Morley.Michelson.Typed |
| unViewsSetF | Morley.Michelson.Internal.ViewsSet |
| unwrapT | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| unzip | Morley.Util.SizedList |
| unzipWith | Morley.Util.SizedList |
| UP | Morley.Michelson.Macro |
| uparamTypeQ | Morley.Michelson.Parser |
| UPDATE | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| UPDATEN | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| UpdateN | Morley.Michelson.Typed.Instr.Constraints |
| updImpl | Morley.Michelson.TypeCheck.Helpers |
| UpdOp | Morley.Michelson.Typed.Polymorphic, Morley.Michelson.Typed |
| UpdOpKey | Morley.Michelson.Typed.Polymorphic, Morley.Michelson.Typed, Morley.Michelson.Typed |
| UpdOpParams | Morley.Michelson.Typed.Polymorphic, Morley.Michelson.Typed, Morley.Michelson.Typed |
| UPRINT | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| usingImplicitOrContractKind | Morley.Tezos.Address |
| UTEST_ASSERT | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| utypeQ | Morley.Michelson.Parser |