| 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, Morley.Test |
| tdParameter | Morley.Runtime.TxData, Morley.Runtime, Morley.Test.Integrational, Morley.Test |
| tdSenderAddress | Morley.Runtime.TxData, Morley.Runtime, Morley.Test.Integrational, Morley.Test |
| 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, Morley.Test |
| 2 (Data Constructor) | Morley.Runtime.TxData, Morley.Runtime, Morley.Test.Integrational, Morley.Test |
| 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 |