Index - C
| caar | Lorentz.Macro, Lorentz |
| caBalance | Michelson.Typed.Value, Michelson.Typed |
| CAddress | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| caDelegate | Michelson.Typed.Value, Michelson.Typed |
| CADR | Michelson.Macro |
| cadr | Lorentz.Macro, Lorentz |
| CadrStruct | Michelson.Macro |
| caManager | Michelson.Typed.Value, Michelson.Typed |
| 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 |
| 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 |
| 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 |
| case_ | Lorentz.ADT, Lorentz |
| caSpendable | Michelson.Typed.Value, Michelson.Typed |
| 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 |
| 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 |
| cdar | Lorentz.Macro, Lorentz |
| 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 |
| ceAmount | Michelson.Interpret |
| ceBalance | Michelson.Interpret |
| ceContracts | Michelson.Interpret |
| ceMaxSteps | Michelson.Interpret |
| ceNow | Michelson.Interpret |
| ceSelf | Michelson.Interpret |
| ceSender | Michelson.Interpret |
| ceSource | Michelson.Interpret |
| checkBigMapConstraint | Michelson.Typed.Scope, Michelson.Typed |
| checkBigMapPresence | Michelson.Typed.Scope, Michelson.Typed |
| checkEqHST | Michelson.TypeCheck.Helpers |
| checkEqT | Michelson.TypeCheck.Helpers |
| checkOpPresence | Michelson.Typed.Scope, Michelson.Typed |
| checkSignature | |
| 1 (Function) | Tezos.Crypto |
| 2 (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 |
| 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 |
| 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 |
| compareImpl | Michelson.TypeCheck.Helpers |
| compareTypes | Michelson.TypeCheck.Helpers, Michelson.TypeCheck |
| compileLorentz | Lorentz.Base, Lorentz |
| compileLorentzContract | Lorentz.Base, 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 |
| 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 |
| construct | Lorentz.ADT, Lorentz |
| ConstructorFieldTypes | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| constructT | Lorentz.ADT, Lorentz |
| 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 |
| ContractAddr | |
| 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 |
| ContractAddress | Tezos.Address |
| ContractEnv | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| ContractInp | Michelson.Typed.Value, Michelson.Typed |
| ContractInp1 | Michelson.Typed.Value, Michelson.Typed |
| ContractOut | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Type/Class) | Lorentz.Base, Lorentz |
| ContractOut1 | Michelson.Typed.Value, 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 |
| 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 |
| 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 |
| CreateAccount | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Value, Michelson.Typed |
| createAccount | Lorentz.Instr, Lorentz |
| CreateContract | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Value, Michelson.Typed |
| createContract | Lorentz.Instr, Lorentz |
| CREATE_ACCOUNT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| CREATE_CONTRACT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| CryptoParseCryptoError | Tezos.Crypto |
| CryptoParseError | Tezos.Crypto |
| CryptoParseWrongBase58Check | Tezos.Crypto |
| CryptoParseWrongTag | 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 |
| CT | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CTimestamp | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, 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 |
| CustomError | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| CustomParserException | Michelson.Parser.Error, Michelson.Parser |
| 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 |