| caar | Lorentz.Macro, Lorentz |
| CAddress | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CADR | Michelson.Macro |
| cadr | Lorentz.Macro, Lorentz |
| CadrStruct | Michelson.Macro |
| CanHaveBigMap | Lorentz.Constraints, Lorentz |
| CAR | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| car | Lorentz.Instr, Lorentz |
| CASE | Michelson.Macro |
| CaseArrow | Lorentz.ADT, Lorentz |
| CaseClause | |
| 1 (Type/Class) | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| CaseClauseL | |
| 1 (Type/Class) | Lorentz.ADT, Lorentz |
| 2 (Data Constructor) | Lorentz.ADT, Lorentz |
| CaseClauseParam | |
| 1 (Type/Class) | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| CaseClauses | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| caseT | Lorentz.ADT, Lorentz |
| CaseTC | Lorentz.ADT, Lorentz |
| CaseUParam | Lorentz.UParam, Lorentz |
| caseUParam | Lorentz.UParam, Lorentz |
| caseUParamT | Lorentz.UParam, Lorentz |
| case_ | Lorentz.ADT, Lorentz |
| CAST | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| cast | Lorentz.Instr, Lorentz |
| CBool | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CBytes | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| ccBalance | Michelson.Typed.Value, Michelson.Typed |
| ccContractCode | Michelson.Typed.Value, Michelson.Typed |
| ccDelegate | Michelson.Typed.Value, Michelson.Typed |
| ccOriginator | Michelson.Typed.Value, Michelson.Typed |
| ccStorageVal | Michelson.Typed.Value, Michelson.Typed |
| cdar | Lorentz.Macro, Lorentz |
| cdContents | Michelson.Doc, Lorentz.Doc, Lorentz |
| cdContentsL | Michelson.Doc |
| cdDefinitionIds | Michelson.Doc, Lorentz.Doc, Lorentz |
| cdDefinitionIdsL | Michelson.Doc |
| cdDefinitions | Michelson.Doc, Lorentz.Doc, Lorentz |
| cdDefinitionsL | Michelson.Doc |
| cdDefinitionsSet | Michelson.Doc, Lorentz.Doc, Lorentz |
| cdDefinitionsSetL | Michelson.Doc |
| cddr | Lorentz.Macro, Lorentz |
| CDR | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| cdr | Lorentz.Instr, Lorentz |
| ceaApplyEffects | Michelson.Typed.Util, Michelson.Typed |
| ceAmount | Michelson.Interpret |
| ceaName | Michelson.Typed.Util, Michelson.Typed |
| ceArg | Lorentz.Errors, Lorentz |
| ceBalance | Michelson.Interpret |
| ceChainId | Michelson.Interpret |
| ceContracts | Michelson.Interpret |
| ceMaxSteps | Michelson.Interpret |
| ceNow | Michelson.Interpret |
| ceSelf | Michelson.Interpret |
| ceSender | Michelson.Interpret |
| ceSource | Michelson.Interpret |
| ceTag | Lorentz.Errors, Lorentz |
| ChainId | Tezos.Core, Lorentz.Value, Lorentz |
| chainId | Lorentz.Instr, Lorentz |
| chainIdLength | Tezos.Core |
| ChainIdUnsafe | Tezos.Core |
| CHAIN_ID | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| checkBigMapPresence | Michelson.Typed.Scope, Michelson.Typed |
| checkContractTypePresence | Michelson.Typed.Scope, Michelson.Typed |
| checkEqHST | Michelson.TypeCheck.Helpers |
| checkEqT | Michelson.TypeCheck.Helpers |
| checkNestedBigMapsPresence | Michelson.Typed.Scope, Michelson.Typed |
| checkOpPresence | Michelson.Typed.Scope, Michelson.Typed |
| checkSignature | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| 4 (Function) | Tezos.Crypto |
| 5 (Function) | Lorentz.Instr, Lorentz |
| CHECK_SIGNATURE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| CInt | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CKeyHash | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| clarifyParamBuildingSteps | Lorentz.EntryPoints.Doc, Lorentz |
| cloneX | Lorentz.Macro, Lorentz |
| CMP | Michelson.Macro |
| cmpOp | Michelson.Parser.Instr |
| CMutez | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CNat | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| code | Michelson.Untyped.Contract, Michelson.Untyped |
| codeEntry | Michelson.Parser |
| coerceContractRef | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| coerceUnwrap | Lorentz.Coercions, Lorentz |
| coerceWrap | Lorentz.Coercions, Lorentz |
| coerce_ | Lorentz.Coercions, Lorentz |
| Coercible_ | Lorentz.Coercions, Lorentz |
| comma | Michelson.Parser.Lexer |
| Comparable | |
| 1 (Type/Class) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| comparable | Michelson.Parser.Type |
| COMPARE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Compare | Michelson.Typed.Arith, Michelson.Typed |
| compare | Lorentz.Instr, Lorentz |
| compareExt | Util.Typeable |
| compareImpl | Michelson.TypeCheck.Helpers |
| CompareOp | Michelson.Typed.Arith, Michelson.Typed |
| compareOp | Michelson.Typed.Arith, Michelson.Typed |
| CompareOpHs | Lorentz.Arith, Lorentz |
| compareTypes | Michelson.TypeCheck.Helpers, Michelson.TypeCheck |
| compiledMigrationContent | Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration |
| compileEpLiftSequence | Michelson.Typed.Value, Michelson.Typed |
| compileLorentz | Lorentz.Run, Lorentz |
| compileLorentzContract | Lorentz.Run, Lorentz |
| compileMigration | Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration |
| ComposeCtorNotFound | Michelson.Typed.Haskell.LooseSum, Michelson.Typed.Haskell, Michelson.Typed |
| ComposeFieldTypeMismatch | Michelson.Typed.Haskell.LooseSum, Michelson.Typed.Haskell, Michelson.Typed |
| ComposeOk | Michelson.Typed.Haskell.LooseSum, Michelson.Typed.Haskell, Michelson.Typed |
| ComposeResult | Michelson.Typed.Haskell.LooseSum, Michelson.Typed.Haskell, Michelson.Typed |
| composeStoreFieldOps | Lorentz.StoreClass, Lorentz |
| composeStoreSubmapOps | Lorentz.StoreClass, Lorentz |
| composeValidators | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| composeValidatorsList | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| compToType | Michelson.Untyped.Type, Michelson.Untyped |
| CONCAT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| concat | Lorentz.Instr, Lorentz |
| CONCAT' | Michelson.Typed.Instr, Michelson.Typed |
| concat' | Lorentz.Instr, Lorentz |
| concatImpl | Michelson.TypeCheck.Helpers |
| concatImpl' | Michelson.TypeCheck.Helpers |
| ConcatOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| ConcatOpHs | Lorentz.Polymorphic, Lorentz |
| concatTestTrees | Michelson.Test.Import, Michelson.Test |
| concreteTypeDocHaskellRep | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz |
| concreteTypeDocHaskellRepUnsafe | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz |
| concreteTypeDocMichelsonRep | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz |
| concreteTypeDocMichelsonRepUnsafe | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz |
| Condition | Lorentz.Rebinded, Lorentz |
| CONS | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| cons | Lorentz.Instr, Lorentz |
| ConstantScope | Michelson.Typed.Scope, Michelson.Typed |
| ConstrainedSome | |
| 1 (Type/Class) | Lorentz.UParam, Lorentz |
| 2 (Data Constructor) | Lorentz.UParam, Lorentz |
| ConstraintDIG | Michelson.Typed.Instr, Michelson.Typed |
| ConstraintDIG' | Michelson.Typed.Instr, Michelson.Typed |
| ConstraintDIPN | Michelson.Typed.Instr, Michelson.Typed |
| ConstraintDIPN' | Michelson.Typed.Instr, Michelson.Typed |
| ConstraintDIPNLorentz | Lorentz.Instr, Lorentz |
| ConstraintDUG | Michelson.Typed.Instr, Michelson.Typed |
| ConstraintDUG' | Michelson.Typed.Instr, Michelson.Typed |
| CONSTRUCT | Michelson.Macro |
| construct | Lorentz.ADT, Lorentz |
| ConstructorFieldTypes | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.ADT, Lorentz |
| ConstructorIndexNotFound | Lorentz.Extensible |
| constructT | Lorentz.ADT, Lorentz |
| ContainsBigMap | Michelson.Typed.Scope, Michelson.Typed |
| ContainsNestedBigMaps | Michelson.Typed.Scope, Michelson.Typed |
| CONTRACT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Contract | |
| 1 (Data Constructor) | Michelson.Untyped.Contract, Michelson.Untyped |
| 2 (Type/Class) | Michelson.Untyped.Aliases, Michelson.Untyped |
| 3 (Type/Class) | Michelson.Typed.Instr, Michelson.Typed |
| 4 (Type/Class) | Lorentz.Base, Lorentz |
| contract | Lorentz.Instr, Lorentz |
| Contract' | Michelson.Untyped.Contract, Michelson.Untyped |
| ContractAbsent | Michelson.Typed.Scope, Michelson.Typed |
| ContractAddress | Tezos.Address |
| contractConsumer | Lorentz.Test.Consumer, Lorentz.Test |
| ContractDoc | |
| 1 (Type/Class) | Michelson.Doc, Lorentz.Doc, Lorentz |
| 2 (Data Constructor) | Michelson.Doc, Lorentz.Doc, Lorentz |
| contractDocToMarkdown | Michelson.Doc, Lorentz.Doc, Lorentz |
| ContractEnv | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| ContractHash | |
| 1 (Type/Class) | Tezos.Address |
| 2 (Data Constructor) | Tezos.Address |
| ContractInp | Michelson.Typed.Value, Michelson.Typed |
| ContractInp1 | Michelson.Typed.Value, Michelson.Typed |
| contractName | Lorentz.Doc, Lorentz |
| ContractOut | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Type/Class) | Lorentz.Base, Lorentz |
| ContractOut1 | Michelson.Typed.Value, Michelson.Typed |
| ContractPresence | Michelson.Typed.Scope, Michelson.Typed |
| ContractPresent | Michelson.Typed.Scope, Michelson.Typed |
| contractProp | Michelson.Test.Unit, Michelson.Test, Lorentz.Test |
| contractPropVal | Michelson.Test.Unit, Michelson.Test, Lorentz.Test |
| ContractPropValidator | Michelson.Test.Unit, Michelson.Test, Lorentz.Test |
| ContractRef | |
| 1 (Type/Class) | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| 2 (Data Constructor) | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| contractRepeatedProp | Michelson.Test.Unit, Michelson.Test, Lorentz.Test |
| contractRepeatedPropVal | Michelson.Test.Unit, Michelson.Test, Lorentz.Test |
| ContractReturn | Michelson.Interpret, Michelson.Test.Unit, Michelson.Test, Lorentz.Test |
| ContractState | |
| 1 (Type/Class) | Michelson.Runtime.GState, Michelson.Runtime |
| 2 (Data Constructor) | Michelson.Runtime.GState, Michelson.Runtime |
| contractTypeAbsense | Michelson.Typed.Scope, Michelson.Typed |
| convAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| converge | Michelson.Typed.Annotation, Michelson.Typed |
| convergeAnns | Michelson.Typed.Annotation, Michelson.Typed |
| convergeHST | Michelson.TypeCheck.Helpers |
| convergeHSTEl | Michelson.TypeCheck.Helpers |
| convertContract | Michelson.Typed.Convert, Michelson.Typed |
| convertContractRef | Lorentz.Value, Lorentz |
| convertFullContract | Michelson.Typed.Convert, Michelson.Typed |
| CoverDiff | Lorentz.UStore.Migration.Diff |
| CoverDiffMany | Lorentz.UStore.Migration.Diff |
| crAddress | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| CreateContract | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Value, Michelson.Typed |
| createContract | Lorentz.Instr, Lorentz |
| CREATE_CONTRACT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| crEntryPoint | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| CryptoParseCryptoError | Tezos.Crypto.Util, Tezos.Crypto |
| CryptoParseError | Tezos.Crypto.Util, Tezos.Crypto |
| CryptoParseUnexpectedLength | Tezos.Crypto.Util, Tezos.Crypto |
| CryptoParseWrongBase58Check | Tezos.Crypto.Util, Tezos.Crypto |
| CryptoParseWrongTag | Tezos.Crypto.Util, Tezos.Crypto |
| csBalance | Michelson.Runtime.GState, Michelson.Runtime |
| csContract | Michelson.Runtime.GState, Michelson.Runtime |
| csStorage | Michelson.Runtime.GState, Michelson.Runtime |
| CString | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| csTypedContract | Michelson.Runtime.GState, Michelson.Runtime |
| csTypedStorage | Michelson.Runtime.GState, Michelson.Runtime |
| CT | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CTimestamp | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CtorEffectsApp | |
| 1 (Type/Class) | Michelson.Typed.Util, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Util, Michelson.Typed |
| CtorField | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| CtorHasOnlyField | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| CtorOnlyField | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| customErrArgumentSemantics | Lorentz.Errors, Lorentz |
| customErrClass | Lorentz.Errors, Lorentz |
| customErrDocMdCause | Lorentz.Errors, Lorentz |
| customErrDocMdCauseInEntrypoint | Lorentz.Errors, Lorentz |
| CustomError | |
| 1 (Type/Class) | Lorentz.Errors, Lorentz |
| 2 (Data Constructor) | Lorentz.Errors, Lorentz |
| customErrorFromVal | Lorentz.Errors, Lorentz |
| CustomErrorHasDoc | Lorentz.Errors, Lorentz |
| CustomErrorNoIsoValue | Lorentz.Errors, Lorentz |
| customErrorToVal | Lorentz.Errors, Lorentz |
| CustomParserException | Michelson.Parser.Error, Michelson.Parser |
| customTypeDocMdReference | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz |
| CustomValidationError | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| cutInstrNonDoc | Michelson.Typed.Doc, Michelson.Typed |
| cutLorentzNonDoc | Lorentz.Doc, Lorentz |
| CvAddress | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CValue | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CvBool | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CvBytes | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CvInt | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CvKeyHash | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CvMutez | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CvNat | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CvString | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CvTimestamp | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |