| 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 |