| # | Michelson.Typed |
| :--: | Michelson.TypeCheck |
| ::& | Michelson.TypeCheck |
| ::: | Michelson.TypeCheck |
| :::: | Michelson.TypeCheck |
| A | Morley.Types |
| ABS | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Abs | Michelson.Typed |
| ADD | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Add | Michelson.Typed |
| addMutez | Tezos.Core |
| AddOverflow | Michelson.Typed |
| ADDRESS | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Address | Tezos.Address |
| AddressState | Morley.Runtime.GState, Morley.Runtime |
| AMOUNT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| AND | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| And | Michelson.Typed |
| ann | Michelson.Untyped, Morley.Types |
| Annotation | |
| 1 (Type/Class) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Untyped, Morley.Types |
| applySing | Michelson.Typed |
| applyUpdate | Morley.Runtime.GState |
| applyUpdates | Morley.Runtime.GState |
| ArithError | Michelson.Typed |
| ArithErrorType | Michelson.Typed |
| ArithOp | Michelson.Typed |
| ArithRes | Michelson.Typed |
| asBalance | Morley.Runtime.GState |
| ASContract | Morley.Runtime.GState, Morley.Runtime |
| ASSERT | Morley.Types |
| ASSERTX | Morley.Types |
| ASSERT_CMP | Morley.Types |
| ASSERT_LEFT | Morley.Types |
| ASSERT_NONE | Morley.Types |
| ASSERT_RIGHT | Morley.Types |
| ASSERT_SOME | Morley.Types |
| ASSimple | Morley.Runtime.GState, Morley.Runtime |
| B58CheckWithPrefixError | Tezos.Crypto |
| B58CheckWithPrefixWrongEncoding | Tezos.Crypto |
| B58CheckWithPrefixWrongPrefix | Tezos.Crypto |
| BALANCE | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| BLAKE2B | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| blake2b | Tezos.Crypto |
| blake2b160 | Tezos.Crypto |
| braces | Morley.Lexer |
| brackets | Morley.Lexer |
| brackets' | Morley.Lexer |
| bytesLiteral | Morley.Parser |
| caBalance | Michelson.Typed.Value, Michelson.Typed |
| CAddress | Michelson.Untyped, Michelson.Typed, Morley.Types |
| caDelegate | Michelson.Typed.Value, Michelson.Typed |
| CADR | Morley.Types |
| CadrStruct | Morley.Types |
| caManager | Michelson.Typed.Value, Michelson.Typed |
| CAR | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| caSpendable | Michelson.Typed.Value, Michelson.Typed |
| CAST | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| CBool | Michelson.Untyped, Michelson.Typed, Morley.Types |
| CBytes | Michelson.Untyped, Michelson.Typed, Morley.Types |
| ccBalance | Michelson.Typed.Value, Michelson.Typed |
| ccContractCode | Michelson.Typed.Value, Michelson.Typed |
| ccDelegatable | Michelson.Typed.Value, Michelson.Typed |
| ccDelegate | Michelson.Typed.Value, Michelson.Typed |
| ccManager | Michelson.Typed.Value, Michelson.Typed |
| ccSpendable | Michelson.Typed.Value, Michelson.Typed |
| ccStorageVal | Michelson.Typed.Value, Michelson.Typed |
| CDR | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| ceAmount | Michelson.Interpret |
| ceBalance | Michelson.Interpret |
| ceContracts | Michelson.Interpret |
| ceMaxSteps | Michelson.Interpret |
| ceNow | Michelson.Interpret |
| ceSelf | Michelson.Interpret |
| ceSender | Michelson.Interpret |
| ceSource | Michelson.Interpret |
| checkSignature | Tezos.Crypto |
| CHECK_SIGNATURE | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| CInt | Michelson.Untyped, Michelson.Typed, Morley.Types |
| CKeyHash | Michelson.Untyped, Michelson.Typed, Morley.Types |
| CMP | Morley.Types |
| CMutez | Michelson.Untyped, Michelson.Typed, Morley.Types |
| CNat | Michelson.Untyped, Michelson.Typed, Morley.Types |
| code | Michelson.Untyped, Morley.Types |
| comma | Morley.Lexer |
| Comparable | |
| 1 (Type/Class) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Untyped, Morley.Types |
| COMPARE | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Compare | Michelson.Typed |
| composeValidators | Morley.Test.Integrational, Morley.Test |
| composeValidatorsList | Morley.Test.Integrational, Morley.Test |
| compToType | Michelson.Untyped |
| CONCAT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| CONCAT' | Michelson.Typed |
| ConcatOp | Michelson.Typed |
| CONS | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| CONTRACT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Contract | |
| 1 (Type/Class) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 3 (Type/Class) | Michelson.Typed |
| ContractAddress | Tezos.Address |
| ContractEnv | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| ContractInp | Michelson.Typed.Value, Michelson.Typed |
| ContractOut | Michelson.Typed.Value, Michelson.Typed |
| contractProp | Morley.Test.Unit, Morley.Test |
| contractPropVal | Morley.Test.Unit, Morley.Test |
| ContractPropValidator | Morley.Test.Unit, Morley.Test |
| ContractReturn | Michelson.Interpret, Morley.Test.Unit, Morley.Test |
| ContractState | |
| 1 (Type/Class) | Morley.Runtime.GState, Morley.Runtime |
| 2 (Data Constructor) | Morley.Runtime.GState, Morley.Runtime |
| convAnn | Michelson.Untyped |
| converge | Michelson.Typed |
| convergeAnns | Michelson.Typed |
| Conversible | Michelson.Typed |
| ConversibleExt | Michelson.Typed |
| convert | Michelson.Typed |
| convertContract | Michelson.Typed |
| CreateAccount | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Value, Michelson.Typed |
| CreateContract | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Value, Michelson.Typed |
| CREATE_ACCOUNT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| CREATE_CONTRACT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| CREATE_CONTRACT2 | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| CryptoParseCryptoError | Tezos.Crypto |
| CryptoParseError | Tezos.Crypto |
| CryptoParseWrongBase58Check | Tezos.Crypto |
| CryptoParseWrongTag | Tezos.Crypto |
| csBalance | Morley.Runtime.GState, Morley.Runtime |
| csContract | Morley.Runtime.GState, Morley.Runtime |
| csStorage | Morley.Runtime.GState, Morley.Runtime |
| CString | Michelson.Untyped, Michelson.Typed, Morley.Types |
| CT | Michelson.Untyped, Michelson.Typed, Morley.Types |
| CTimestamp | Michelson.Untyped, Michelson.Typed, Morley.Types |
| CustomParserException | Morley.Types |
| CvAddress | Michelson.Typed.Value, Michelson.Typed |
| CVal | Michelson.Typed.Value, Michelson.Typed |
| CvBool | Michelson.Typed.Value, Michelson.Typed |
| CvBytes | Michelson.Typed.Value, Michelson.Typed |
| CvInt | Michelson.Typed.Value, Michelson.Typed |
| CvKeyHash | Michelson.Typed.Value, Michelson.Typed |
| CvMutez | Michelson.Typed.Value, Michelson.Typed |
| CvNat | Michelson.Typed.Value, Michelson.Typed |
| CvString | Michelson.Typed.Value, Michelson.Typed |
| CvTimestamp | Michelson.Typed.Value, Michelson.Typed |
| D | Morley.Types |
| decodeBase58Check | Tezos.Crypto |
| decodeBase58CheckWithPrefix | Tezos.Crypto |
| def | Morley.Default |
| Default | Morley.Default |
| DIIP | Morley.Types |
| DIP | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| disjoinVn | Michelson.Untyped |
| divModMutez | Tezos.Core |
| divModMutezInt | Tezos.Core |
| DROP | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| dummyContractEnv | Morley.Test.Dummy, Morley.Test |
| dummyMaxSteps | Morley.Test.Dummy |
| dummyNow | Morley.Test.Dummy |
| dummyOrigination | Morley.Test.Dummy |
| DUP | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| DUUP | Morley.Types |
| EDIV | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| EDivOp | Michelson.Typed |
| EDivOpRes | Michelson.Typed |
| Elt | |
| 1 (Type/Class) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Untyped, Morley.Types |
| EModOpRes | Michelson.Typed |
| EMPTY_MAP | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| EMPTY_SET | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| encodeBase58Check | Tezos.Crypto |
| EQ | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Eq' | Michelson.Typed |
| eqT' | Michelson.TypeCheck |
| evalConcat | Michelson.Typed |
| evalConcat' | Michelson.Typed |
| evalEDivOp | Michelson.Typed |
| evalGet | Michelson.Typed |
| evalMem | Michelson.Typed |
| EvalOp | Michelson.Interpret |
| evalOp | Michelson.Typed |
| evalSize | Michelson.Typed |
| evalSlice | Michelson.Typed |
| evalUnaryArithOp | Michelson.Typed |
| evalUpd | Michelson.Typed |
| EXEC | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| expand | Morley.Macro |
| expandCadr | Morley.Macro |
| expandContract | Morley.Macro |
| ExpandedInstr | Michelson.Untyped, Morley.Types |
| ExpandedInstrExtU | Michelson.Untyped |
| ExpandedOp | Michelson.Untyped, Morley.Types |
| ExpandedUExtInstr | Morley.Types |
| expandList | Morley.Macro |
| expandMapCadr | Morley.Macro |
| expandPapair | Morley.Macro |
| expandSetCadr | Morley.Macro |
| expandUnpapair | Morley.Macro |
| expandValue | Morley.Macro |
| expectAnySuccess | Morley.Test.Integrational, Morley.Test |
| expectBalance | Morley.Test.Integrational, Morley.Test |
| expectGasExhaustion | Morley.Test.Integrational, Morley.Test |
| expectMichelsonFailed | Morley.Test.Integrational, Morley.Test |
| expectStorageConst | Morley.Test.Integrational, Morley.Test |
| expectStorageUpdate | Morley.Test.Integrational, Morley.Test |
| expectStorageUpdateConst | Morley.Test.Integrational, Morley.Test |
| EXT | Michelson.Untyped, Morley.Types |
| Ext | Michelson.Typed |
| ExtC | Michelson.TypeCheck |
| ExtInstr | Morley.Types |
| extractNotes | Michelson.Typed |
| ExtT | Michelson.Typed |
| ExtU | Michelson.Untyped |
| F | Morley.Types |
| FAIL | Morley.Types |
| failedProp | Morley.Test.Util |
| FAILWITH | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| FieldAnn | Michelson.Untyped, Morley.Types |
| fieldType | Morley.Parser.Annotations |
| FN | Morley.Types |
| FN_END | Morley.Types |
| formatAddress | Tezos.Address |
| formatKeyHash | Tezos.Crypto |
| formatPublicKey | Tezos.Crypto |
| formatSecretKey | Tezos.Crypto |
| formatSignature | Tezos.Crypto |
| formatTimestamp | Tezos.Core |
| FromCVal | Michelson.Typed |
| fromCVal | Michelson.Typed |
| fromSingCT | Michelson.Typed |
| fromSingT | Michelson.Typed |
| fromUType | Michelson.Typed |
| FromVal | Michelson.Typed.Value, Michelson.Typed |
| fromVal | Michelson.Typed.Value, Michelson.Typed |
| GE | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Ge | Michelson.Typed |
| genesisAddress | Morley.Runtime.GState |
| genesisAddressText | Morley.Runtime.GState |
| genesisKeyHash | Morley.Runtime.GState |
| GET | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| getCurrentTime | Tezos.Core |
| GetOp | Michelson.Typed |
| GetOpKey | Michelson.Typed |
| GetOpVal | Michelson.Typed |
| GSAddAddress | Morley.Runtime.GState |
| gsAddresses | Morley.Runtime.GState |
| GSSetBalance | Morley.Runtime.GState |
| GSSetStorageValue | Morley.Runtime.GState |
| GState | |
| 1 (Type/Class) | Morley.Runtime.GState |
| 2 (Data Constructor) | Morley.Runtime.GState |
| GStateAddressExists | Morley.Runtime.GState |
| GStateNotContract | Morley.Runtime.GState |
| GStateUnknownAddress | Morley.Runtime.GState |
| GStateUpdate | Morley.Runtime.GState |
| GStateUpdateError | Morley.Runtime.GState |
| GT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Gt | Michelson.Typed |
| hashKey | Tezos.Crypto |
| HASH_KEY | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| HST | Michelson.TypeCheck |
| ICEParse | Morley.Test.Import |
| ICETypeCheck | Morley.Test.Import |
| ICEUnexpectedParamType | Morley.Test.Import |
| ICEUnexpectedStorageType | Morley.Test.Import |
| IEAlreadyOriginated | Morley.Runtime |
| ieContractEnv | Michelson.Interpret |
| IEFailedToApplyUpdates | Morley.Runtime |
| IEIllTypedContract | Morley.Runtime |
| IEInterpreterFailed | Morley.Runtime |
| ieItHandler | Michelson.Interpret |
| IENotEnoughFunds | Morley.Runtime |
| IEUnknownContract | Morley.Runtime |
| IEUnknownManager | Morley.Runtime |
| IEUnknownSender | Morley.Runtime |
| IF | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| ifAnnUnified | Michelson.Untyped |
| IFCMP | Morley.Types |
| IFX | Morley.Types |
| IF_CONS | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| IF_LEFT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| IF_NONE | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| IF_RIGHT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| IF_SOME | Morley.Types |
| IllTypedContract | Michelson.Interpret |
| IllTypedParam | Michelson.Interpret |
| IllTypedStorage | Michelson.Interpret |
| IMPLICIT_ACCOUNT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| importContract | Morley.Test.Import |
| ImportContractError | Morley.Test.Import |
| initGState | Morley.Runtime.GState |
| inPattern | Morley.Types |
| Instr | |
| 1 (Type/Class) | Michelson.Untyped, Morley.Types |
| 2 (Type/Class) | Michelson.Typed |
| InstrAbstract | Michelson.Untyped, Morley.Types |
| InstrExtT | Michelson.Typed |
| InstrExtU | Michelson.Untyped |
| instrToOps | Michelson.Typed |
| INT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| IntegrationalScenario | Morley.Test.Integrational, Morley.Test |
| integrationalTestExpectation | Morley.Test.Integrational, Morley.Test |
| integrationalTestProperty | Morley.Test.Integrational, Morley.Test |
| IntegrationalValidator | Morley.Test.Integrational, Morley.Test |
| InternalByteString | |
| 1 (Type/Class) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Untyped, Morley.Types |
| interpret | Michelson.Interpret |
| InterpreterEnv | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| InterpreterError | Morley.Runtime |
| InterpreterOp | Morley.Runtime |
| interpreterPure | Morley.Runtime |
| InterpreterRes | |
| 1 (Type/Class) | Morley.Runtime |
| 2 (Data Constructor) | Morley.Runtime |
| InterpreterState | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| interpretHandler | Morley.Ext |
| interpretMorley | Morley.Ext |
| interpretMorleyUntyped | Morley.Ext |
| interpretUntyped | Michelson.Interpret |
| InterpretUntypedError | Michelson.Interpret |
| InterpretUntypedResult | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| intLiteral | Morley.Parser |
| isAtomicType | Michelson.Untyped |
| isBool | Michelson.Untyped |
| isBytes | Michelson.Untyped |
| isComparable | Michelson.Untyped |
| isExtState | Michelson.Interpret |
| isInt | Michelson.Untyped |
| isInteger | Michelson.Untyped |
| isKey | Michelson.Untyped |
| isKeyHash | Michelson.Untyped |
| isMutez | Michelson.Untyped |
| ISNAT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| isNat | Michelson.Untyped |
| isRemainingSteps | Michelson.Interpret |
| isSignature | Michelson.Untyped |
| isStar | Michelson.Typed |
| isString | Michelson.Untyped |
| isTimestamp | Michelson.Untyped |
| ITER | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| IterOp | Michelson.Typed |
| iterOpDetachOne | Michelson.Typed |
| IterOpEl | Michelson.Typed |
| iurNewState | Michelson.Interpret |
| iurNewStorage | Michelson.Interpret |
| iurOps | Michelson.Interpret |
| KeyAddress | Tezos.Address |
| KeyHash | |
| 1 (Type/Class) | Tezos.Crypto |
| 2 (Data Constructor) | Tezos.Crypto |
| LAMBDA | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| LE | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Le | Michelson.Typed |
| LEFT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| LetEnv | |
| 1 (Type/Class) | Morley.Types |
| 2 (Data Constructor) | Morley.Types |
| LetMacro | |
| 1 (Type/Class) | Morley.Types |
| 2 (Data Constructor) | Morley.Types |
| letMacros | Morley.Types |
| LetType | |
| 1 (Type/Class) | Morley.Types |
| 2 (Data Constructor) | Morley.Types |
| letTypes | Morley.Types |
| LetValue | |
| 1 (Type/Class) | Morley.Types |
| 2 (Data Constructor) | Morley.Types |
| letValues | Morley.Types |
| lexeme | Morley.Lexer |
| LMac | Morley.Types |
| lmExpr | Morley.Types |
| lmName | Morley.Types |
| lmSig | Morley.Types |
| LOOP | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| LOOP_LEFT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| LSL | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Lsl | Michelson.Typed |
| LSR | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Lsr | Michelson.Typed |
| LT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Lt | Michelson.Typed |
| ltName | Morley.Types |
| ltSig | Morley.Types |
| lvName | Morley.Types |
| lvSig | Morley.Types |
| lvVal | Morley.Types |
| Mac | Morley.Types |
| Macro | Morley.Types |
| MAP | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| mapLeaves | Morley.Macro |
| MapOp | Michelson.Typed |
| mapOpFromList | Michelson.Typed |
| MapOpInp | Michelson.Typed |
| MapOpRes | Michelson.Typed |
| mapOpToList | Michelson.Typed |
| MAP_CADR | Morley.Types |
| maxTimestamp | Morley.Test.Gen, Morley.Test |
| MEM | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| MemOp | Michelson.Typed |
| MemOpKey | Michelson.Typed |
| MichelsonArithError | Michelson.Interpret |
| MichelsonFailed | Michelson.Interpret |
| MichelsonFailedOther | Michelson.Interpret |
| MichelsonFailedWith | Michelson.Interpret |
| MichelsonGasExhaustion | Michelson.Interpret |
| midTimestamp | Morley.Test.Gen, Morley.Test |
| minTimestamp | Morley.Test.Gen, Morley.Test |
| mkContractAddress | Michelson.Untyped |
| mkContractAddressRaw | Tezos.Address |
| mkKeyAddress | Tezos.Address |
| mkMutez | Tezos.Core |
| mkNotes | Michelson.Typed |
| mkUType | Michelson.Typed |
| MorleyLogs | |
| 1 (Type/Class) | Morley.Types |
| 2 (Data Constructor) | Morley.Types |
| mSpace | Morley.Lexer |
| MUL | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Mul | Michelson.Typed |
| mulMutez | Tezos.Core |
| MulOverflow | Michelson.Typed |
| Mutez | Tezos.Core |
| MutezArithError | Michelson.Typed |
| N | Michelson.Typed |
| NEG | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Neg | Michelson.Typed |
| NEQ | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Neq | Michelson.Typed |
| Nested | Michelson.Typed |
| NIL | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| noAnn | Michelson.Untyped, Morley.Types |
| noLetEnv | Morley.Types |
| noMorleyLogs | Morley.Types |
| NONE | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Nop | Michelson.Typed |
| NOT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Not | Michelson.Typed |
| note | Morley.Parser.Annotations |
| noteF | Morley.Parser.Annotations |
| noteF2 | Morley.Parser.Annotations |
| Notes | Michelson.Typed |
| Notes' | Michelson.Typed |
| notesCase | Michelson.Typed |
| notesTV | Morley.Parser.Annotations |
| notesTVF | Morley.Parser.Annotations |
| notesTVF2 | Morley.Parser.Annotations |
| notesVF | Morley.Parser.Annotations |
| noteT | Morley.Parser.Annotations |
| noteTDef | Morley.Parser.Annotations |
| noteV | Morley.Parser.Annotations |
| noteVDef | Morley.Parser.Annotations |
| NOW | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| NStar | Michelson.Typed |
| NTBigMap | Michelson.Typed |
| NTc | Michelson.Typed |
| NTContract | Michelson.Typed |
| NTKey | Michelson.Typed |
| NTLambda | Michelson.Typed |
| NTList | Michelson.Typed |
| NTMap | Michelson.Typed |
| NTOperation | Michelson.Typed |
| NTOption | Michelson.Typed |
| NTOr | Michelson.Typed |
| NTPair | Michelson.Typed |
| NTSet | Michelson.Typed |
| NTSignature | Michelson.Typed |
| NTUnit | Michelson.Typed |
| OddNumberBytesException | Morley.Types |
| ooBalance | Michelson.Untyped |
| ooContract | Michelson.Untyped |
| ooDelegatable | Michelson.Untyped |
| ooDelegate | Michelson.Untyped |
| ooManager | Michelson.Untyped |
| ooSpendable | Michelson.Untyped |
| ooStorage | Michelson.Untyped |
| Op | |
| 1 (Type/Class) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Untyped, Morley.Types |
| OpCreateAccount | Michelson.Typed.Value, Michelson.Typed |
| OpCreateContract | Michelson.Typed.Value, Michelson.Typed |
| Operation | Michelson.Typed.Value, Michelson.Typed |
| ops | Morley.Parser |
| OpSetDelegate | Michelson.Typed.Value, Michelson.Typed |
| OpTransferTokens | Michelson.Typed.Value, Michelson.Typed |
| OR | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Or | Michelson.Typed |
| orAnn | Michelson.Typed |
| originate | Morley.Test.Integrational, Morley.Test |
| originateContract | Morley.Runtime |
| OriginateOp | Morley.Runtime |
| OriginationOperation | |
| 1 (Type/Class) | Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Untyped |
| outPattern | Morley.Types |
| P | Morley.Types |
| PACK | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| PAIR | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| PairStruct | Morley.Types |
| PAPAIR | Morley.Types |
| para | Michelson.Untyped, Morley.Types |
| Parameter | Michelson.Untyped, Morley.Types |
| parens | Morley.Lexer |
| parseAddress | Tezos.Address |
| Parsec | Morley.Types |
| ParsedInstr | Morley.Types |
| ParsedOp | Morley.Types |
| ParsedUExtInstr | Morley.Types |
| ParsedUTestAssert | Morley.Types |
| ParseErrorBundle | Morley.Types |
| parseKeyHash | Tezos.Crypto |
| parseNoEnv | Morley.Parser |
| parsePublicKey | Tezos.Crypto |
| Parser | Morley.Types |
| ParserException | |
| 1 (Type/Class) | Morley.Types, Morley.Parser |
| 2 (Data Constructor) | Morley.Types, Morley.Parser |
| parseSecretKey | Tezos.Crypto |
| parseSignature | Tezos.Crypto |
| parseTimestamp | Tezos.Core |
| permute2Def | Morley.Default, Morley.Parser.Annotations |
| permute3Def | Morley.Default, Morley.Parser.Annotations |
| prepareContract | Morley.Runtime |
| Prim | Morley.Types |
| PrimEx | Michelson.Untyped, Morley.Types |
| PRINT | Morley.Types |
| PrintComment | |
| 1 (Type/Class) | Morley.Types |
| 2 (Data Constructor) | Morley.Types |
| printComment | Morley.Parser |
| program | Morley.Parser |
| PublicKey | Tezos.Crypto |
| PUSH | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| pushOp | Morley.Parser |
| qcIsLeft | Morley.Test.Util |
| qcIsRight | Morley.Test.Util |
| quantifiedVars | Morley.Types |
| readAndParseContract | Morley.Runtime |
| readGState | Morley.Runtime.GState |
| RemainingSteps | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| RENAME | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| RIGHT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| runContract | Morley.Runtime |
| runInstr | Michelson.Interpret |
| runInstrNoGas | Michelson.Interpret |
| RuntimeFailure | Michelson.Interpret |
| runTypeCheckT | Michelson.TypeCheck |
| SCAddress | Michelson.Typed |
| SCBool | Michelson.Typed |
| SCBytes | Michelson.Typed |
| SCInt | Michelson.Typed |
| SCKeyHash | Michelson.Typed |
| SCMutez | Michelson.Typed |
| SCNat | Michelson.Typed |
| SCString | Michelson.Typed |
| SCTimestamp | Michelson.Typed |
| sdMbKeyHash | Michelson.Typed.Value, Michelson.Typed |
| SecretKey | Tezos.Crypto |
| SELF | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| semicolon | Morley.Lexer |
| SENDER | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| sepEndBy1 | Morley.Parser.Helpers |
| Seq | |
| 1 (Data Constructor) | Michelson.Typed |
| 2 (Data Constructor) | Morley.Types |
| SeqEx | Michelson.Untyped, Morley.Types |
| SetDelegate | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Value, Michelson.Typed |
| setMaxSteps | Morley.Test.Integrational, Morley.Test |
| setNow | Morley.Test.Integrational, Morley.Test |
| SET_CADR | Morley.Types |
| SET_DELEGATE | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| SHA256 | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| sha256 | Tezos.Crypto |
| SHA512 | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| sha512 | Tezos.Crypto |
| SiFail | Michelson.TypeCheck |
| sign | Tezos.Crypto |
| Signature | Tezos.Crypto |
| Sing | Michelson.Typed |
| SIZE | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| SizeOp | Michelson.Typed |
| SLambda | Michelson.Typed |
| SLICE | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| SliceOp | Michelson.Typed |
| SNil | Michelson.TypeCheck |
| SOME | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| SomeContract | |
| 1 (Type/Class) | Michelson.TypeCheck |
| 2 (Data Constructor) | Michelson.TypeCheck |
| SomeHST | |
| 1 (Type/Class) | Michelson.TypeCheck |
| 2 (Data Constructor) | Michelson.TypeCheck |
| SomeInstr | Michelson.TypeCheck |
| SomeItStack | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| SomeVal | Michelson.TypeCheck |
| SomeValC | Michelson.TypeCheck |
| SOURCE | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| specWithContract | Morley.Test.Import, Morley.Test |
| specWithTypedContract | Morley.Test.Import, Morley.Test |
| StackFn | |
| 1 (Type/Class) | Morley.Types |
| 2 (Data Constructor) | Morley.Types |
| StackRef | |
| 1 (Type/Class) | Morley.Types |
| 2 (Data Constructor) | Morley.Types |
| STACKTYPE | Morley.Types |
| stackType | Morley.Parser |
| StackTypePattern | Morley.Types |
| STBigMap | Michelson.Typed |
| STc | Michelson.Typed |
| STContract | Michelson.Typed |
| STEPS_TO_QUOTA | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| StkCons | Morley.Types |
| StkEmpty | Morley.Types |
| STKey | Michelson.Typed |
| StkRest | Morley.Types |
| STLambda | Michelson.Typed |
| STList | Michelson.Typed |
| STMap | Michelson.Typed |
| STOperation | Michelson.Typed |
| STOption | Michelson.Typed |
| STOr | Michelson.Typed |
| stor | Michelson.Untyped, Morley.Types |
| Storage | Michelson.Untyped, Morley.Types |
| STPair | Michelson.Typed |
| string' | Morley.Lexer |
| stringLiteral | Morley.Parser |
| STSet | Michelson.Typed |
| STSignature | Michelson.Typed |
| STUnit | Michelson.Typed |
| SUB | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Sub | Michelson.Typed |
| subMutez | Tezos.Core |
| SubUnderflow | Michelson.Typed |
| succeededProp | Morley.Test.Util |
| SuccessValidator | Morley.Test.Integrational, Morley.Test |
| SWAP | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| symbol | Morley.Lexer |
| symbol' | Morley.Lexer |
| T | |
| 1 (Type/Class) | Michelson.Untyped, Morley.Types |
| 2 (Type/Class) | Michelson.Typed |
| Taddress | Michelson.Untyped |
| taddress | Michelson.Untyped |
| tassComment | Morley.Types |
| tassInstrs | Morley.Types |
| tassName | Morley.Types |
| TBigMap | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Tbool | Michelson.Untyped |
| tbool | Michelson.Untyped |
| Tbytes | Michelson.Untyped |
| tbytes | Michelson.Untyped |
| Tc | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| tcContractParam | Michelson.TypeCheck |
| TCError | Michelson.TypeCheck |
| TcExtFrames | Michelson.TypeCheck |
| tcExtFrames | Michelson.TypeCheck |
| TcExtHandler | Michelson.TypeCheck |
| tcExtHandler | Michelson.TypeCheck |
| TCFailedOnInstr | Michelson.TypeCheck |
| TCFailedOnValue | Michelson.TypeCheck |
| TcInstrHandler | Michelson.TypeCheck |
| TContract | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| TCOtherError | Michelson.TypeCheck |
| TcResult | Michelson.TypeCheck |
| tdAmount | Morley.Runtime.TxData, Morley.Runtime, Morley.Test.Integrational |
| tdParameter | Morley.Runtime.TxData, Morley.Runtime, Morley.Test.Integrational |
| tdSenderAddress | Morley.Runtime.TxData, Morley.Runtime, Morley.Test.Integrational |
| TestAssert | |
| 1 (Type/Class) | Morley.Types |
| 2 (Data Constructor) | Morley.Types |
| TEST_ASSERT | Morley.Types |
| Timestamp | |
| 1 (Type/Class) | Tezos.Core |
| 2 (Data Constructor) | Tezos.Core |
| timestampFromSeconds | Tezos.Core |
| timestampFromUTCTime | Tezos.Core |
| timestampPlusSeconds | Tezos.Core |
| timestampToSeconds | Tezos.Core |
| Tint | Michelson.Untyped |
| tint | Michelson.Untyped |
| TKey | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| tkeyHash | Michelson.Untyped |
| Tkey_hash | Michelson.Untyped |
| TLambda | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| TList | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| TMap | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Tmutez | Michelson.Untyped |
| tmutez | Michelson.Untyped |
| Tnat | Michelson.Untyped |
| tnat | Michelson.Untyped |
| ToCT | Michelson.Untyped, Michelson.Typed |
| ToCVal | Michelson.Typed |
| toCVal | Michelson.Typed |
| TOperation | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| TOption | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| toPublic | Tezos.Crypto |
| TOr | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| ToT | Michelson.Typed |
| toUType | Michelson.Typed |
| ToVal | Michelson.Typed.Value, Michelson.Typed |
| toVal | Michelson.Typed.Value, Michelson.Typed |
| TPair | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| transfer | |
| 1 (Function) | Morley.Runtime |
| 2 (Function) | Morley.Test.Integrational, Morley.Test |
| TransferOp | Morley.Runtime |
| TransferTokens | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Value, Michelson.Typed |
| TRANSFER_TOKENS | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| TSet | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| TSignature | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Tstring | Michelson.Untyped |
| tstring | Michelson.Untyped |
| ttAmount | Michelson.Typed.Value, Michelson.Typed |
| ttContract | Michelson.Typed.Value, Michelson.Typed |
| ttContractParameter | Michelson.Typed.Value, Michelson.Typed |
| Ttimestamp | Michelson.Untyped |
| ttimestamp | Michelson.Untyped |
| TUnit | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| TxData | |
| 1 (Type/Class) | Morley.Runtime.TxData, Morley.Runtime, Morley.Test.Integrational |
| 2 (Data Constructor) | Morley.Runtime.TxData, Morley.Runtime, Morley.Test.Integrational |
| TyCon | Morley.Types |
| Type | |
| 1 (Type/Class) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Untyped, Morley.Types |
| TypeAnn | Michelson.Untyped, Morley.Types |
| typeCheckContract | Michelson.TypeCheck |
| typeCheckCVal | Michelson.TypeCheck |
| TypeCheckEnv | |
| 1 (Type/Class) | Michelson.TypeCheck |
| 2 (Data Constructor) | Michelson.TypeCheck |
| typeCheckHandler | Morley.Ext |
| typeCheckList | Michelson.TypeCheck |
| typeCheckMorleyContract | Morley.Ext |
| TypeCheckT | Michelson.TypeCheck |
| typeCheckVal | Michelson.TypeCheck |
| typeToComp | Michelson.Untyped |
| type_ | Morley.Parser |
| TyVar | Morley.Types |
| UExtInstrAbstract | Morley.Types |
| UnaryArithOp | Michelson.Typed |
| UnaryArithRes | Michelson.Typed |
| UnexpectedLineBreak | Morley.Types |
| UnexpectedParamType | Michelson.Interpret |
| UnexpectedStorageType | Michelson.Interpret |
| unifyAnn | Michelson.Untyped |
| unInternalByteString | Michelson.Untyped, Morley.Types |
| UNIT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| unKeyHash | Tezos.Crypto |
| UnknownTypeException | Morley.Types |
| unMorleyLogs | Morley.Types |
| unMutez | Tezos.Core |
| unOp | Michelson.Untyped, Morley.Types |
| UNPACK | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| UNPAIR | Morley.Types |
| unPrintComment | Morley.Types |
| unsafeAddMutez | Tezos.Core |
| unsafeMkMutez | Tezos.Core |
| unsafeParseAddress | Tezos.Address |
| unsafeSubMutez | Tezos.Core |
| unsafeValToValue | Michelson.Typed |
| unTimestamp | Tezos.Core |
| UntypedContract | Michelson.Untyped |
| UntypedValue | Michelson.Untyped |
| UPDATE | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| UpdOp | Michelson.Typed |
| UpdOpKey | Michelson.Typed |
| UpdOpParams | Michelson.Typed |
| UPRINT | Morley.Types |
| UTestAssert | |
| 1 (Type/Class) | Morley.Types |
| 2 (Data Constructor) | Morley.Types |
| UTEST_ASSERT | Morley.Types |
| Val | Michelson.Typed.Value, Michelson.Typed |
| validate | Morley.Test.Integrational, Morley.Test |
| valToOpOrValue | Michelson.Typed |
| Value | Michelson.Untyped, Morley.Types |
| value | Morley.Parser |
| ValueBytes | Michelson.Untyped, Morley.Types |
| ValueFalse | Michelson.Untyped, Morley.Types |
| ValueInt | Michelson.Untyped, Morley.Types |
| ValueLambda | Michelson.Untyped, Morley.Types |
| ValueLeft | Michelson.Untyped, Morley.Types |
| ValueMap | Michelson.Untyped, Morley.Types |
| ValueNil | Michelson.Untyped, Morley.Types |
| ValueNone | Michelson.Untyped, Morley.Types |
| ValuePair | Michelson.Untyped, Morley.Types |
| ValueRight | Michelson.Untyped, Morley.Types |
| ValueSeq | Michelson.Untyped, Morley.Types |
| ValueSome | Michelson.Untyped, Morley.Types |
| ValueString | Michelson.Untyped, Morley.Types |
| ValueTrue | Michelson.Untyped, Morley.Types |
| ValueUnit | Michelson.Untyped, Morley.Types |
| Var | |
| 1 (Type/Class) | Morley.Types |
| 2 (Data Constructor) | Morley.Types |
| VarAnn | Michelson.Untyped, Morley.Types |
| VarID | Morley.Types |
| varSet | Morley.Types |
| VBigMap | Michelson.Typed.Value, Michelson.Typed |
| VC | Michelson.Typed.Value, Michelson.Typed |
| VContract | Michelson.Typed.Value, Michelson.Typed |
| VKey | Michelson.Typed.Value, Michelson.Typed |
| VLam | Michelson.Typed.Value, Michelson.Typed |
| VList | Michelson.Typed.Value, Michelson.Typed |
| VMap | Michelson.Typed.Value, Michelson.Typed |
| VOp | Michelson.Typed.Value, Michelson.Typed |
| VOption | Michelson.Typed.Value, Michelson.Typed |
| VOr | Michelson.Typed.Value, Michelson.Typed |
| VPair | Michelson.Typed.Value, Michelson.Typed |
| VSet | Michelson.Typed.Value, Michelson.Typed |
| VSignature | Michelson.Typed.Value, Michelson.Typed |
| VUnit | Michelson.Typed.Value, Michelson.Typed |
| WithAnn | Michelson.Untyped |
| withSomeSingCT | Michelson.Typed |
| withSomeSingT | Michelson.Typed |
| writeGState | Morley.Runtime.GState |
| XOR | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Xor | Michelson.Typed |
| _irGState | Morley.Runtime |
| _irOperations | Morley.Runtime |
| _irPrintedLogs | Morley.Runtime |
| _irRemainingSteps | Morley.Runtime |
| _irSourceAddress | Morley.Runtime |
| _irUpdates | Morley.Runtime |
| _noteFDef | Morley.Parser.Annotations |