Index - U
| UCOMMENT | Michelson.Untyped.Ext, Michelson.Untyped |
| UF | Michelson.Macro |
| unAnchor | Util.Markdown |
| unAnnotation | Michelson.Untyped.Annotation, Michelson.Untyped |
| unaryArithImpl | Michelson.TypeCheck.Helpers |
| unaryArithImplAnnotated | Michelson.TypeCheck.Helpers |
| UnaryArithOp | Michelson.Typed.Arith, Michelson.Typed |
| UnaryArithRes | Michelson.Typed.Arith, Michelson.Typed, Michelson.Typed |
| unBigMapId | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| unChainId | Tezos.Core |
| unEpName | Michelson.Untyped.Entrypoints, Michelson.Untyped, Michelson.Typed.Entrypoints, Michelson.Typed |
| UnexpectedLength | Tezos.Crypto.BLS12381 |
| UnexpectedTopLevelType | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| UnexpectedType | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| unGlobalCounter | Tezos.Address |
| unHexJSONByteString | Util.ByteString |
| unifyAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| unifyPairFieldAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| unInternalByteString | Michelson.Untyped.Value, Michelson.Untyped |
| UNIT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| UnknownContract | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| unknownTag | Util.Binary |
| unMText | Michelson.Text |
| unMutez | Tezos.Core |
| unOperationHash | Michelson.Typed.Origination |
| unOpSize | Michelson.Untyped.OpSize, Michelson.Untyped, Michelson.Typed.OpSize, Michelson.Typed |
| unOriginationIndex | Tezos.Address |
| UNPACK | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| UnpackedValScope | Michelson.Typed.Scope, Michelson.Typed |
| UnpackError | |
| 1 (Type/Class) | Util.Binary, Michelson.Interpret.Unpack |
| 2 (Data Constructor) | Util.Binary, Michelson.Interpret.Unpack |
| unpackInstr' | Michelson.Interpret.Unpack |
| unpackUValue' | Michelson.Interpret.Unpack |
| unpackValue' | Michelson.Interpret.Unpack |
| UNPAIR | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| UnpairArgument | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| UNPAIRN | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| UnpairN | Michelson.Typed.Instr, Michelson.Typed |
| unpairOp | Michelson.Parser.Instr |
| UnpairStruct | Michelson.Macro |
| UNPAPAIR | Michelson.Macro |
| unPos | Michelson.ErrorPos |
| unPositive | Util.Positive |
| unPrintComment | Michelson.Typed.Instr, Michelson.Typed |
| unPublicKey | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| unsafeAddMutez | Tezos.Core |
| UnsafeAnnotation | Michelson.Untyped.Annotation, Michelson.Untyped |
| unsafeBuildEpName | Michelson.Untyped.Entrypoints, Michelson.Untyped |
| UnsafeChainId | Tezos.Core |
| unsafeConcreteTypeDocHaskellRep | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| unsafeConcreteTypeDocMichelsonRep | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| unsafeEpcCallRoot | Michelson.Typed.Entrypoints, Michelson.Typed |
| UnsafeEpName | Michelson.Untyped.Entrypoints, Michelson.Untyped, Michelson.Typed.Entrypoints, Michelson.Typed |
| unsafeFromMichelsonBytes | Tezos.Crypto.BLS12381 |
| unsafeInstrUnwrap | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| unsafeMkAnnotation | Michelson.Untyped.Annotation, Michelson.Untyped |
| unsafeMkChainId | Tezos.Core |
| unsafeMkMText | Michelson.Text |
| unsafeMkMutez | Tezos.Core |
| unsafeMkPos | Michelson.ErrorPos |
| unsafeMkSomeParamType | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| UnsafeMText | Michelson.Text |
| unsafeMulMutez | Tezos.Core |
| UnsafeMutez | Tezos.Core |
| UnsafeParamNotes | Michelson.Typed.Entrypoints, Michelson.Typed |
| unsafeParseAddress | Tezos.Address |
| unsafeParseAddressRaw | Tezos.Address |
| unsafeParseContractHash | Tezos.Address |
| unsafeParseEpAddress | Michelson.Typed.Entrypoints, Michelson.Typed |
| unsafeParseEpAddressRaw | Michelson.Typed.Entrypoints, Michelson.Typed |
| unsafeParseKeyHash | Tezos.Crypto |
| UnsafePositive | Util.Positive |
| unsafeProvideConstraint | Util.Type |
| unsafeReadFromHex | Tezos.Crypto.BLS12381 |
| unsafeSepcCallRoot | Michelson.Typed.Entrypoints, Michelson.Typed |
| unsafeSubMutez | Tezos.Core |
| unsafeWithWTP | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| unSignature | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| unStringEncode | Morley.Micheline.Json, Morley.Micheline |
| UnsupportedTypeForScope | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| unTezosMutez | Morley.Micheline.Json, Morley.Micheline |
| unTimestamp | Tezos.Core |
| untypeDemoteT | Michelson.Typed.Convert, Michelson.Typed |
| untypeValue | Michelson.Typed.Convert, Michelson.Typed |
| untypeValueHashable | Michelson.Typed.Convert, Michelson.Typed |
| untypeValueOptimized | Michelson.Typed.Convert, Michelson.Typed |
| unUnpackError | Util.Binary, Michelson.Interpret.Unpack |
| unUPrintComment | Michelson.Untyped.Ext, Michelson.Untyped |
| unwrapT | Michelson.Untyped.Type, Michelson.Untyped |
| UP | Michelson.Macro |
| uparamTypeQ | Michelson.Parser |
| UPDATE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| UPDATEN | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| UpdateN | Michelson.Typed.Instr, Michelson.Typed |
| updImpl | Michelson.TypeCheck.Helpers |
| UpdOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| UpdOpKey | Michelson.Typed.Polymorphic, Michelson.Typed, Michelson.Typed |
| UpdOpParams | Michelson.Typed.Polymorphic, Michelson.Typed, Michelson.Typed |
| UPRINT | Michelson.Untyped.Ext, Michelson.Untyped |
| UTEST_ASSERT | Michelson.Untyped.Ext, Michelson.Untyped |
| utypeQ | Michelson.Parser |