Combined Plutus 1.36.0.0 Documentation

Index - C

cachedBuiltinPlutusCore.Parser.Builtin, PlutusCore.Parser
callSiteInlinePlutusIR.Transform.Inline.CallSiteInline
CannotParseValuePlutusTx.Options
Case 
1 (Data Constructor)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
caseDataPlutusCore.StdLib.Data.Data
caseListPlutusCore.StdLib.Data.List
caseOfCase 
1 (Function)UntypedPlutusCore.Transform.CaseOfCase
2 (Function)PlutusIR.Transform.CaseOfCase
caseOfCasePassPlutusIR.Transform.CaseOfCase
caseOfCasePassSCPlutusIR.Transform.CaseOfCase
caseReduce 
1 (Function)UntypedPlutusCore.Transform.CaseReduce
2 (Function)PlutusIR.Transform.CaseReduce
caseReducePassPlutusIR.Transform.CaseReduce
catText.Pretty
cataMData.Functor.Foldable.Monadic
catchAllPlutusCore.Test
CBORDeserialiseErrorPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
ccBlackholedPlutusTx.Compiler.Types
ccBuiltinCostModel 
1 (Function)PlutusIR.Compiler.Types, PlutusIR.Compiler
2 (Function)PlutusTx.Compiler.Types
ccBuiltinsInfo 
1 (Function)PlutusIR.Compiler.Types, PlutusIR.Compiler
2 (Function)PlutusTx.Compiler.Types
ccCurDefPlutusTx.Compiler.Types
ccDebugTraceOnPlutusTx.Compiler.Types
ccEnclosingPlutusIR.Compiler.Types, PlutusIR.Compiler
ccFamInstEnvsPlutusTx.Compiler.Types
ccFlagsPlutusTx.Compiler.Types
ccModBreaksPlutusTx.Compiler.Types
ccNameInfoPlutusTx.Compiler.Types
ccOpts 
1 (Function)PlutusIR.Compiler.Types, PlutusIR.Compiler
2 (Function)PlutusTx.Compiler.Types
ccRewriteRules 
1 (Function)PlutusIR.Compiler.Types
2 (Function)PlutusTx.Compiler.Types
ccScopePlutusTx.Compiler.Types
ccTypeCheckConfigPlutusIR.Compiler.Types, PlutusIR.Compiler
ceDocPlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
cekApplyCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekApplyCost'exBudgetCPU 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekApplyCost'exBudgetMemory 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekBudgetSpender 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
cekBuiltinCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekBuiltinCost'exBudgetCPU 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekBuiltinCost'exBudgetMemory 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
cekCaseCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekCaseCost'exBudgetCPUPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekCaseCost'exBudgetMemoryPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
cekConstCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekConstCost'exBudgetCPU 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekConstCost'exBudgetMemory 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
cekConstrCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekConstrCost'exBudgetCPUPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekConstrCost'exBudgetMemoryPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
cekCostModelForVariantPlutusCore.Evaluation.Machine.ExBudgetingDefaults
cekDelayCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekDelayCost'exBudgetCPU 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekDelayCost'exBudgetMemory 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekEmitterUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekEmitterInfo 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekErrorPlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
CekEvaluationExceptionUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CekEvaluationFailureUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CekExTally 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
cekForceCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekForceCost'exBudgetCPU 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekForceCost'exBudgetMemory 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
cekLamCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekLamCost'exBudgetCPU 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekLamCost'exBudgetMemory 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekM 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekMachineCostsUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts, PlutusCore.Evaluation.Machine.CostModelInterface, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CekMachineCostsBase 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekMachineCostsFileAPlutusCore.DataFilePaths
cekMachineCostsFileBPlutusCore.DataFilePaths
cekMachineCostsFileCPlutusCore.DataFilePaths
cekMachineCostsPrefixUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekModelPlutusCore.Executable.Types, PlutusCore.Executable.Common
CekOutOfExErrorUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
cekResultMatchesHaskellValuePlutusTx.Test.Util.Compiled
cekStartupCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekStartupCost'exBudgetCPU 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekStartupCost'exBudgetMemory 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekStateUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
cekStateAnnUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
cekStateContextUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekTransUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
CekUserErrorUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CekValEnvUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekValueUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
cekVarCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekVarCost'exBudgetCPU 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekVarCost'exBudgetMemory 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
Cert 
1 (Data Constructor)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx
2 (Data Constructor)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx
CertifierPlutusCore.Executable.Types, PlutusCore.Executable.Common
certifierPlutusCore.Executable.Parsers
Certifying 
1 (Data Constructor)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
3 (Data Constructor)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
4 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
CertifyingScript 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
ChangedParameters 
1 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
3 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
4 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
ChangedParamsCardano.Constitution.Validator.Common, Cardano.Constitution.Validator
changPlus1PVPlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions
changPVPlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions
CheckPlutusCore.Generators.NEAT.Term
check 
1 (Function)PlutusCore.Generators.NEAT.Term
2 (Function)PlutusTx.Prelude
checkBiConditionPlutusIR.Pass
checkConditionPlutusIR.Pass
checkEmptyOnPlutusCore.Check.Scoping
checkEvaluationEventPlutusLedgerApi.Test.EvaluationEvent
checkFailsPlutusCore.Test
checkHasFailedErrorPlutusTx.ErrorCodes
checkKind 
1 (Function)PlutusCore.TypeCheck, PlutusCore
2 (Function)PlutusCore.Generators.QuickCheck.Common, PlutusCore.Generators.QuickCheck
checkKindAgdaMAlonzo.Code.Evaluator.Term
checkKindMPlutusCore.TypeCheck.Internal
checkProgram 
1 (Function)PlutusCore.Check.Uniques
2 (Function)PlutusCore.Check.Normal
3 (Function)UntypedPlutusCore.Check.Uniques
4 (Function)PlutusIR.Check.Uniques
checkPurityPlutusIR.Transform.Inline.Utils
checkRespectsScopingPlutusCore.Check.Scoping
checkScopeUntypedPlutusCore.Check.Scope, UntypedPlutusCore
checkScopeInfoPlutusCore.Check.Scoping
checkStarUniverse.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
checkTerm 
1 (Function)PlutusCore.Check.Uniques
2 (Function)PlutusCore.Check.Normal
3 (Function)UntypedPlutusCore.Check.Uniques
4 (Function)PlutusIR.Check.Uniques
checkType 
1 (Function)PlutusCore.TypeCheck, PlutusCore
2 (Function)PlutusIR.TypeCheck
checkTypeAgdaMAlonzo.Code.Evaluator.Term
checkTypeM 
1 (Function)PlutusCore.TypeCheck.Internal
2 (Function)PlutusIR.TypeCheck.Internal
checkTypeOfProgram 
1 (Function)PlutusCore.TypeCheck, PlutusCore
2 (Function)PlutusIR.TypeCheck
check_'42'_478MAlonzo.Code.Utils
check_'91''93'_386MAlonzo.Code.Utils
check_'96'_32MAlonzo.Code.Raw
check_'96'_6MAlonzo.Code.Raw
check_'9839'_480MAlonzo.Code.Utils
check_aBls12'45'381'45'g1'45'element_20MAlonzo.Code.Builtin.Constant.AtomicType
check_aBls12'45'381'45'g2'45'element_22MAlonzo.Code.Builtin.Constant.AtomicType
check_aBls12'45'381'45'mlresult_24MAlonzo.Code.Builtin.Constant.AtomicType
check_aBool_16MAlonzo.Code.Builtin.Constant.AtomicType
check_aBytestring_10MAlonzo.Code.Builtin.Constant.AtomicType
check_aData_18MAlonzo.Code.Builtin.Constant.AtomicType
check_AddedSizes_112MAlonzo.Code.Cost.Raw
check_addInteger_4MAlonzo.Code.Builtin
check_aInteger_8MAlonzo.Code.Builtin.Constant.AtomicType
check_andByteString_154MAlonzo.Code.Builtin
check_appendByteString_24MAlonzo.Code.Builtin
check_appendString_52MAlonzo.Code.Builtin
check_aString_12MAlonzo.Code.Builtin.Constant.AtomicType
check_atomic_24MAlonzo.Code.Raw
check_aUnit_14MAlonzo.Code.Builtin.Constant.AtomicType
check_bDATA_460MAlonzo.Code.Utils
check_bData_90MAlonzo.Code.Builtin
check_blake2b'45'224_148MAlonzo.Code.Builtin
check_blake2b'45'256_44MAlonzo.Code.Builtin
check_bls12'45'381'45'finalVerify_144MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'add_112MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'compress_122MAlonzo.Code.Builtin
check_bls12'45'381'45'g1'45'element_52MAlonzo.Code.RawU
check_bls12'45'381'45'G1'45'equal_118MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'hashToGroup_120MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'neg_114MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'scalarMul_116MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'uncompress_124MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'add_126MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'compress_136MAlonzo.Code.Builtin
check_bls12'45'381'45'g2'45'element_54MAlonzo.Code.RawU
check_bls12'45'381'45'G2'45'equal_132MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'hashToGroup_134MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'neg_128MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'scalarMul_130MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'uncompress_138MAlonzo.Code.Builtin
check_bls12'45'381'45'millerLoop_140MAlonzo.Code.Builtin
check_bls12'45'381'45'mlresult_56MAlonzo.Code.RawU
check_bls12'45'381'45'mulMlResult_142MAlonzo.Code.Builtin
check_bool_36MAlonzo.Code.RawU
check_builtin_46MAlonzo.Code.Raw
check_byteStringToInteger_150MAlonzo.Code.Builtin
check_bytestring_32MAlonzo.Code.RawU
check_case_66MAlonzo.Code.Raw
check_chooseData_80MAlonzo.Code.Builtin
check_chooseList_70MAlonzo.Code.Builtin
check_chooseUnit_62MAlonzo.Code.Builtin
check_complementByteString_160MAlonzo.Code.Builtin
check_consByteString_26MAlonzo.Code.Builtin
check_ConstAboveDiagonal_140MAlonzo.Code.Cost.Raw
check_ConstantCost_110MAlonzo.Code.Cost.Raw
check_ConstBelowDiagonal_142MAlonzo.Code.Cost.Raw
check_ConstOffDiagonal_144MAlonzo.Code.Cost.Raw
check_ConstrDATA_452MAlonzo.Code.Utils
check_constrData_82MAlonzo.Code.Builtin
check_constr_58MAlonzo.Code.Raw
check_con_16MAlonzo.Code.Raw
check_con_42MAlonzo.Code.Raw
check_Counting_42MAlonzo.Code.Evaluator.Program
check_countSetBits_172MAlonzo.Code.Builtin
check_deBError_578MAlonzo.Code.Scoped
check_decodeUtf8_58MAlonzo.Code.Builtin
check_divideInteger_10MAlonzo.Code.Builtin
check_encodeUtf8_56MAlonzo.Code.Builtin
check_equalsByteString_34MAlonzo.Code.Builtin
check_equalsData_102MAlonzo.Code.Builtin
check_equalsInteger_18MAlonzo.Code.Builtin
check_equalsString_54MAlonzo.Code.Builtin
check_error_44MAlonzo.Code.Raw
check_EvalOpts_28MAlonzo.Code.Main
check_Eval_40MAlonzo.Code.Main
check_expModInteger_178MAlonzo.Code.Builtin
check_findFirstSetBit_174MAlonzo.Code.Builtin
check_fixity_30MAlonzo.Code.Agda.Builtin.Reflection
check_freeVariableError_580MAlonzo.Code.Scoped
check_fstPair_66MAlonzo.Code.Builtin
check_gasError_350MAlonzo.Code.Utils
check_headList_74MAlonzo.Code.Builtin
check_iDATA_458MAlonzo.Code.Utils
check_iData_88MAlonzo.Code.Builtin
check_ifThenElse_60MAlonzo.Code.Builtin
check_indexByteString_32MAlonzo.Code.Builtin
check_inj'8321'_12MAlonzo.Code.Utils
check_inj'8322'_14MAlonzo.Code.Utils
check_integerToByteString_152MAlonzo.Code.Builtin
check_integer_30MAlonzo.Code.RawU
check_jsonError_22MAlonzo.Code.Evaluator.Base
check_keccak'45'256_146MAlonzo.Code.Builtin
check_left'45'assoc_16MAlonzo.Code.Agda.Builtin.Reflection
check_lengthOfByteString_30MAlonzo.Code.Builtin
check_lessThanByteString_36MAlonzo.Code.Builtin
check_lessThanEqualsByteString_38MAlonzo.Code.Builtin
check_lessThanEqualsInteger_22MAlonzo.Code.Builtin
check_lessThanInteger_20MAlonzo.Code.Builtin
check_LinearInMaxYZ_128MAlonzo.Code.Cost.Raw
check_LinearInX_120MAlonzo.Code.Cost.Raw
check_LinearInYAndZ_130MAlonzo.Code.Cost.Raw
check_LinearInY_122MAlonzo.Code.Cost.Raw
check_LinearInZ_124MAlonzo.Code.Cost.Raw
check_ListDATA_456MAlonzo.Code.Utils
check_listData_86MAlonzo.Code.Builtin
check_list_26MAlonzo.Code.Raw
check_list_50MAlonzo.Code.RawU
check_LiteralInYOrLinearInZ_126MAlonzo.Code.Cost.Raw
check_MapDATA_454MAlonzo.Code.Utils
check_mapData_84MAlonzo.Code.Builtin
check_MaxSize_118MAlonzo.Code.Cost.Raw
check_MinSize_116MAlonzo.Code.Cost.Raw
check_mkCons_72MAlonzo.Code.Builtin
check_mkCpuAndMemoryModel_156MAlonzo.Code.Cost.Raw
check_mkLinearFunction_42MAlonzo.Code.Cost.Raw
check_mkNilData_108MAlonzo.Code.Builtin
check_mkNilPairData_110MAlonzo.Code.Builtin
check_mkOneVariableQuadraticFunction_58MAlonzo.Code.Cost.Raw
check_mkPairData_106MAlonzo.Code.Builtin
check_mkTwoVariableLinearFunction_74MAlonzo.Code.Cost.Raw
check_mkTwoVariableQuadraticFunction_106MAlonzo.Code.Cost.Raw
check_modInteger_16MAlonzo.Code.Builtin
check_MultipliedSizes_114MAlonzo.Code.Cost.Raw
check_multiplyInteger_8MAlonzo.Code.Builtin
check_non'45'assoc_20MAlonzo.Code.Agda.Builtin.Reflection
check_nullList_78MAlonzo.Code.Builtin
check_orByteString_156MAlonzo.Code.Builtin
check_pair_28MAlonzo.Code.Raw
check_pair_46MAlonzo.Code.RawU
check_parseError_16MAlonzo.Code.Evaluator.Base
check_pdata_40MAlonzo.Code.RawU
check_QuadraticInXAndY_136MAlonzo.Code.Cost.Raw
check_QuadraticInY_132MAlonzo.Code.Cost.Raw
check_QuadraticInZ_134MAlonzo.Code.Cost.Raw
check_quotientInteger_12MAlonzo.Code.Builtin
check_readBit_162MAlonzo.Code.Builtin
check_related_24MAlonzo.Code.Agda.Builtin.Reflection
check_remainderInteger_14MAlonzo.Code.Builtin
check_replicateByte_166MAlonzo.Code.Builtin
check_right'45'assoc_18MAlonzo.Code.Agda.Builtin.Reflection
check_ripemd'45'160_176MAlonzo.Code.Builtin
check_rotateByteString_170MAlonzo.Code.Builtin
check_runtimeError_20MAlonzo.Code.Evaluator.Base
check_runtimeTypeError_354MAlonzo.Code.Utils
check_scopeError_18MAlonzo.Code.Evaluator.Base
check_serialiseData_104MAlonzo.Code.Builtin
check_sha2'45'256_40MAlonzo.Code.Builtin
check_sha3'45'256_42MAlonzo.Code.Builtin
check_shiftByteString_168MAlonzo.Code.Builtin
check_Silent_40MAlonzo.Code.Evaluator.Program
check_sliceByteString_28MAlonzo.Code.Builtin
check_sndPair_68MAlonzo.Code.Builtin
check_SOP_22MAlonzo.Code.Raw
check_string_34MAlonzo.Code.RawU
check_SubtractedSizes_138MAlonzo.Code.Cost.Raw
check_subtractInteger_6MAlonzo.Code.Builtin
check_tagCon_62MAlonzo.Code.RawU
check_tailList_76MAlonzo.Code.Builtin
check_Tallying_44MAlonzo.Code.Evaluator.Program
check_TCEK_54MAlonzo.Code.Evaluator.Program
check_TCK_52MAlonzo.Code.Evaluator.Program
check_TCOpts_32MAlonzo.Code.Main
check_TL_50MAlonzo.Code.Evaluator.Program
check_trace_64MAlonzo.Code.Builtin
check_tt_8MAlonzo.Code.Agda.Builtin.Unit
check_Typecheck_42MAlonzo.Code.Main
check_typeError_14MAlonzo.Code.Evaluator.Base
check_UApp_152MAlonzo.Code.RawU
check_UBuiltin_158MAlonzo.Code.RawU
check_UCase_166MAlonzo.Code.RawU
check_UConstr_164MAlonzo.Code.RawU
check_UCon_154MAlonzo.Code.RawU
check_UDelay_160MAlonzo.Code.RawU
check_UError_156MAlonzo.Code.RawU
check_UForce_162MAlonzo.Code.RawU
check_ULambda_150MAlonzo.Code.RawU
check_unBData_100MAlonzo.Code.Builtin
check_unConstrData_92MAlonzo.Code.Builtin
check_unIData_98MAlonzo.Code.Builtin
check_unit_38MAlonzo.Code.RawU
check_unListData_96MAlonzo.Code.Builtin
check_unMapData_94MAlonzo.Code.Builtin
check_unrelated_26MAlonzo.Code.Agda.Builtin.Reflection
check_unwrap_50MAlonzo.Code.Raw
check_userError_352MAlonzo.Code.Utils
check_UVar_148MAlonzo.Code.RawU
check_U_48MAlonzo.Code.Evaluator.Program
check_verifyEcdsaSecp256k1Signature_48MAlonzo.Code.Builtin
check_verifyEd25519Signature_46MAlonzo.Code.Builtin
check_verifySchnorrSecp256k1Signature_50MAlonzo.Code.Builtin
check_wrap_48MAlonzo.Code.Raw
check_writeBits_164MAlonzo.Code.Builtin
check_xorByteString_158MAlonzo.Code.Builtin
check__'183''8902'__36MAlonzo.Code.Raw
check__'183'__14MAlonzo.Code.Raw
check__'183'__40MAlonzo.Code.Raw
check__'44'__378MAlonzo.Code.Utils
check__'8658'__482MAlonzo.Code.Utils
check__'8658'__8MAlonzo.Code.Raw
check__'8759'__388MAlonzo.Code.Utils
check_ƛ_12MAlonzo.Code.Raw
check_ƛ_38MAlonzo.Code.Raw
check_Λ_34MAlonzo.Code.Raw
check_μ_18MAlonzo.Code.Raw
check_Π_10MAlonzo.Code.Raw
choiceDefPlutusCore.Generators.Hedgehog.Utils, PlutusCore.Generators.Hedgehog
choosePlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
ChooseDataPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
chooseData 
1 (Function)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins
ChooseData'cpu'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ChooseData'memory'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
chooseIntegerPreferEndsPlutusCore.Generators.QuickCheck.Builtin
ChooseListPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
chooseListPlutusTx.Builtins.Internal
ChooseList'cpu'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ChooseList'memory'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ChooseUnitPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
chooseUnitPlutusTx.Builtins.Internal
ChooseUnit'cpu'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ChooseUnit'memory'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
churchConcatPlutusCore.Examples.Data.Vec
churchConsPlutusCore.Examples.Data.Vec
churchNatPlutusCore.StdLib.Data.ChurchNat
churchNilPlutusCore.Examples.Data.Vec
churchSuccPlutusCore.StdLib.Data.ChurchNat
churchVecPlutusCore.Examples.Data.Vec
churchZeroPlutusCore.StdLib.Data.ChurchNat
CkEvaluationExceptionPlutusCore.Evaluation.Machine.Ck
CkMPlutusCore.Evaluation.Machine.Ck
CkPPlutusCore.Generators.NEAT.Spec
CkValuePlutusCore.Evaluation.Machine.Ck
ClassicPlutusCore.Executable.Types, PlutusCore.Executable.Common
clearBuiltinCostModel 
1 (Function)PlutusLedgerApi.Test.V3.Data.EvaluationContext
2 (Function)PlutusLedgerApi.Test.V2.Data.EvaluationContext
3 (Function)PlutusLedgerApi.Test.V1.Data.EvaluationContext
4 (Function)PlutusLedgerApi.Test.V3.EvaluationContext
5 (Function)PlutusLedgerApi.Test.V2.EvaluationContext
6 (Function)PlutusLedgerApi.Test.V1.EvaluationContext
clearMachineCostModel 
1 (Function)PlutusLedgerApi.Test.V3.Data.EvaluationContext
2 (Function)PlutusLedgerApi.Test.V2.Data.EvaluationContext
3 (Function)PlutusLedgerApi.Test.V1.Data.EvaluationContext
4 (Function)PlutusLedgerApi.Test.V3.EvaluationContext
5 (Function)PlutusLedgerApi.Test.V2.EvaluationContext
6 (Function)PlutusLedgerApi.Test.V1.EvaluationContext
ClosedUniverse.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
ClosedTermGPlutusCore.Generators.NEAT.Term
ClosedTypeGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
ClosurePlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
cmActualPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common
CmdUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
cmExpectedPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common
CMInternalReadErrorPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
CMInternalWriteErrorPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
CMTooFewParamsWarnPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common
CMTooManyParamsWarnPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common
CMUnknownParamErrorPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
coBuiltinSemanticsVariantPlutusCore.Compiler.Opts, PlutusCore.Compiler
coCaseOfCaseConservativePlutusIR.Compiler.Types, PlutusIR.Compiler
coCoveragePlutusTx.Compiler.Types
coDatatypesPlutusIR.Compiler.Types, PlutusIR.Compiler
coDebugPlutusIR.Compiler.Types, PlutusIR.Compiler
CodecErrorPlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
coDoSimplifierBetaPlutusIR.Compiler.Types, PlutusIR.Compiler
coDoSimplifierCaseOfCasePlutusIR.Compiler.Types
coDoSimplifierCaseReducePlutusIR.Compiler.Types
coDoSimplifierEvaluateBuiltinsPlutusIR.Compiler.Types, PlutusIR.Compiler
coDoSimplifierInlinePlutusIR.Compiler.Types, PlutusIR.Compiler
coDoSimplifierKnownConPlutusIR.Compiler.Types, PlutusIR.Compiler
coDoSimplifierRemoveDeadBindingsPlutusIR.Compiler.Types
coDoSimplifierRewritePlutusIR.Compiler.Types, PlutusIR.Compiler
coDoSimplifierStrictifyBindingsPlutusIR.Compiler.Types, PlutusIR.Compiler
coDoSimplifierUnwrapCancelPlutusIR.Compiler.Types, PlutusIR.Compiler
coeMAlonzo.RTE
coeff00_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff01_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff02_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff0_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff10_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff11_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff1_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff20_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff2_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
Coefficient0 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient00 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient01 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient02 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient1 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient10 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient11 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient2 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient20 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
coercePlutusPrelude
coerceArgPlutusPrelude
coerceResPlutusPrelude
coerceViaPlutusPrelude
CoerciblePlutusPrelude
coInlineConstantsPlutusIR.Compiler.Types
coInlineHintsPlutusIR.Compiler.Types, PlutusIR.Compiler
ColdCommitteeCredential 
1 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
3 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
4 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
CollectScopeInfoPlutusCore.Check.Scoping
collectScopeInfoPlutusCore.Check.Scoping
colonText.Pretty
columnText.Pretty
coMaxSimplifierIterationsPlutusIR.Compiler.Types, PlutusIR.Compiler
CommaPlutusCore.Examples.Builtins
commaText.Pretty
CommandOpts
commandsOpts
commentPlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
Committee 
1 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
3 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
4 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
committeeMembers 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
committeeQuorum 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
CommitteeVoter 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
commuteFnWithConstPlutusIR.Transform.RewriteRules.CommuteFnWithConst
comparePlutusTx.Ord, PlutusTx.Prelude
compareAlphaEqPlutusConformance.Common
CompilationCtx 
1 (Type/Class)PlutusIR.Compiler.Types, PlutusIR.Compiler
2 (Data Constructor)PlutusIR.Compiler.Types
CompilationError 
1 (Data Constructor)PlutusIR.Compiler.Error
2 (Data Constructor)PlutusIR.Error, PlutusIR.Compiler
3 (Data Constructor)PlutusTx.Compiler.Error
CompilationOpts 
1 (Type/Class)PlutusCore.Compiler.Opts, PlutusCore.Compiler
2 (Data Constructor)PlutusCore.Compiler.Opts, PlutusCore.Compiler
3 (Type/Class)PlutusIR.Compiler.Types, PlutusIR.Compiler
4 (Data Constructor)PlutusIR.Compiler.Types, PlutusIR.Compiler
compilePlutusTx.TH, PlutusTx
CompileContext 
1 (Type/Class)PlutusTx.Compiler.Types
2 (Data Constructor)PlutusTx.Compiler.Types
compileDataConRefPlutusTx.Compiler.Expr
compileDatatypePlutusIR.Compiler.Datatype
compileDatatypeDefsPlutusIR.Compiler.Datatype
CompiledCodePlutusTx.Code, PlutusTx
CompiledCodeInPlutusTx.Code, PlutusTx
compiledCodeToTermPlutusTx.Test.Util.Compiled
CompiledValidatorPlutusTx.Blueprint.Validator, PlutusTx.Blueprint
compiledValidatorPlutusTx.Blueprint.Validator, PlutusTx.Blueprint
compiledValidatorCodePlutusTx.Blueprint.Validator, PlutusTx.Blueprint
compiledValidatorHashPlutusTx.Blueprint.Validator, PlutusTx.Blueprint
CompileErrorPlutusTx.Compiler.Error
compileExprPlutusTx.Compiler.Expr
compileExprWithDefsPlutusTx.Compiler.Expr
compileKindPlutusTx.Compiler.Kind, PlutusTx.Compiler.Type
compileLetsPlutusIR.Compiler.Let
compileLetsPassPlutusIR.Compiler.Let
compileLetsPassSCPlutusIR.Compiler.Let
compileNameFreshPlutusTx.Compiler.Names
compileNonStrictBindingsPlutusIR.Transform.NonStrict
compileNonStrictBindingsPassPlutusIR.Transform.NonStrict
compileNonStrictBindingsPassSCPlutusIR.Transform.NonStrict
CompileOptions 
1 (Type/Class)PlutusTx.Compiler.Types
2 (Data Constructor)PlutusTx.Compiler.Types
compileProgram 
1 (Function)PlutusCore.Compiler
2 (Function)PlutusIR.Compiler
compileReadableToPlcPlutusIR.Compiler
compileRecDatatypesPlutusIR.Compiler.Datatype
compileRecTermsPlutusIR.Compiler.Recursion
CompileState 
1 (Type/Class)PlutusTx.Compiler.Types
2 (Data Constructor)PlutusTx.Compiler.Types
compileTcTyVarFreshPlutusTx.Compiler.Names
compileTermPlutusCore.Compiler
compileToReadablePlutusIR.Compiler
compileTyNameFreshPlutusTx.Compiler.Names
compileTypePlutusTx.Compiler.Type
compileTypeNormPlutusTx.Compiler.Type
compileTyVarFreshPlutusTx.Compiler.Names
compileUntypedPlutusTx.TH, PlutusTx
compileVarFreshPlutusTx.Compiler.Names
compileVarWithTyFreshPlutusTx.Compiler.Names
compileWithOptsPlutusIR.Test
Compiling 
1 (Type/Class)PlutusCore.Compiler.Types
2 (Type/Class)PlutusIR.Compiler.Types, PlutusIR.Compiler
3 (Type/Class)PlutusTx.Compiler.Types
CompilingDefaultPlutusTx.Compiler.Types
ComplementByteStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
complementByteString 
1 (Function)PlutusCore.Bitwise
2 (Function)PlutusTx.Builtins.Internal
3 (Function)PlutusTx.Builtins, PlutusTx.Prelude
ComplementByteString'cpu'arguments'interceptPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ComplementByteString'cpu'arguments'slopePlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ComplementByteString'memory'arguments'interceptPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ComplementByteString'memory'arguments'slopePlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
compoundDocMPlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.PrettyBy.Fixity
CompoundPassPlutusIR.Pass
compress 
1 (Function)PlutusCore.Crypto.BLS12_381.G2
2 (Function)PlutusCore.Crypto.BLS12_381.G1
compressedSizeBytes 
1 (Function)PlutusCore.Crypto.BLS12_381.G2
2 (Function)PlutusCore.Crypto.BLS12_381.G1
compressed_generator 
1 (Function)PlutusCore.Crypto.BLS12_381.G2
2 (Function)PlutusCore.Crypto.BLS12_381.G1
compressed_zero 
1 (Function)PlutusCore.Crypto.BLS12_381.G2
2 (Function)PlutusCore.Crypto.BLS12_381.G1
computeCekUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ComputingUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
con0xBSPlutusCore.Parser.Builtin, PlutusCore.Parser
conBLS12_381_G1_ElementPlutusCore.Parser.Builtin, PlutusCore.Parser
conBLS12_381_G2_ElementPlutusCore.Parser.Builtin, PlutusCore.Parser
conBoolPlutusCore.Parser.Builtin, PlutusCore.Parser
conBSPlutusCore.Parser.Builtin, PlutusCore.Parser
ConcatPlutusTx.Blueprint.Definition.TF
concat 
1 (Function)PlutusTx.List
2 (Function)PlutusTx.Foldable, PlutusTx.Prelude
concatBuiltinStringsPlutusTx.Show.TH
concatMap 
1 (Function)PlutusTx.List
2 (Function)PlutusTx.Foldable, PlutusTx.Prelude
concatWithText.Pretty
conDataPlutusCore.Parser.Builtin, PlutusCore.Parser
conDataNoParensPlutusCore.Parser.Builtin, PlutusCore.Parser
CondensedErrorsPlutusCore.Pretty.Plc, PlutusCore.Pretty
CondensedErrorsNoPlutusCore.Pretty.Plc, PlutusCore.Pretty
CondensedErrorsYesPlutusCore.Pretty.Plc, PlutusCore.Pretty
ConditionPlutusIR.Pass
conIntegerPlutusCore.Parser.Builtin, PlutusCore.Parser
conListPlutusCore.Parser.Builtin, PlutusCore.Parser
conPairPlutusCore.Parser.Builtin, PlutusCore.Parser
Cons 
1 (Data Constructor)Data.RandomAccessList.SkewBinary
2 (Data Constructor)Data.RandomAccessList.SkewBinarySlab
cons 
1 (Function)PlutusCore.StdLib.Data.ScottList
2 (Function)Data.RandomAccessList.Class
consAnnIfPlutusCore.Pretty.Classic, PlutusCore.Pretty
ConsByteStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
consByteString 
1 (Function)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins, PlutusTx.Prelude
ConsByteString'cpu'arguments'intercept 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ConsByteString'cpu'arguments'slope 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ConsByteString'memory'arguments'intercept 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ConsByteString'memory'arguments'slope 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
consSlab 
1 (Function)Data.RandomAccessList.Class
2 (Function)Data.RandomAccessList.SkewBinarySlab
ConsStackUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ConstPlutusCore.Examples.Builtins
const 
1 (Function)PlutusCore.StdLib.Data.Function
2 (Function)PlutusTx.Base, PlutusTx.Prelude
const0UntypedPlutusCore.Test.DeBruijn.Good
ConstAboveDiagonalPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
Constant 
1 (Data Constructor)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
constant 
1 (Function)PlutusCore.MkPlc, PlutusIR.MkPir
2 (Function)PlutusCore.Parser.Builtin, PlutusCore.Parser
ConstantCostPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
ConstantGPlutusCore.Generators.NEAT.Term
constantIsSerializablePlutusIR.Analysis.Builtins
constantOfPlutusCore.Parser.Builtin, PlutusCore.Parser
ConstBelowDiagonalPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
ConstConditionPlutusIR.Pass
ConstConfig 
1 (Type/Class)PlutusCore.Pretty.PrettyConst, PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty.PrettyConst, PlutusCore.Pretty
Constitution 
1 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
3 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
4 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
ConstitutionConfig 
1 (Type/Class)Cardano.Constitution.Config.Types, Cardano.Constitution.Config
2 (Data Constructor)Cardano.Constitution.Config.Types, Cardano.Constitution.Config
constitutionScript 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
ConstitutionValidatorCardano.Constitution.Validator.Common, Cardano.Constitution.Validator
constitutionValidator 
1 (Function)Cardano.Constitution.Validator.Unsorted
2 (Function)Cardano.Constitution.Validator.Sorted
ConstOffDiagonalPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
constPartialPlutusCore.StdLib.Meta.Data.Function
Constr 
1 (Data Constructor)PlutusCore.Data, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx
2 (Data Constructor)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
3 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
4 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
constrPlutusCore.MkPlc, PlutusIR.MkPir
ConstrDataPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
ConstrData'cpu'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ConstrData'memory'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
constrTypesPlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
ConstructorPlutusIR.Compiler.Provenance, PlutusIR.Compiler
ConstructorSchemaPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
ConstructorTypePlutusIR.Compiler.Provenance, PlutusIR.Compiler
ContainerPlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
ContainsUniverse.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
containsPlutusLedgerApi.V1.Interval
Context 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.Internal
2 (Type/Class)UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
3 (Type/Class)PlutusLedgerApi.V1.Scripts
4 (Data Constructor)PlutusLedgerApi.V1.Scripts
conTextPlutusCore.Parser.Builtin, PlutusCore.Parser
contextAnnUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ContinueUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
ContractBlueprintPlutusTx.Blueprint.Contract, PlutusTx.Blueprint
contractDefinitionsPlutusTx.Blueprint.Contract, PlutusTx.Blueprint
contractIdPlutusTx.Blueprint.Contract, PlutusTx.Blueprint
contractPreamblePlutusTx.Blueprint.Contract, PlutusTx.Blueprint
contractValidatorsPlutusTx.Blueprint.Contract, PlutusTx.Blueprint
conUnitPlutusCore.Parser.Builtin, PlutusCore.Parser
conv 
1 (Function)Raw
2 (Function)Untyped
convertClosedTermPlutusCore.Generators.NEAT.Term
convertClosedTypePlutusCore.Generators.NEAT.Term
ConvertOptions 
1 (Type/Class)PlutusCore.Executable.Types, PlutusCore.Executable.Common
2 (Data Constructor)PlutusCore.Executable.Types, PlutusCore.Executable.Common
convertOptsPlutusCore.Executable.Parsers
convertToEitherStringPlutusIR.Pass.Test
convKRaw
convP 
1 (Function)Raw
2 (Function)Untyped
convTRaw
convTyConRaw
coOptimizePlutusIR.Compiler.Types, PlutusIR.Compiler
coPedanticPlutusIR.Compiler.Types, PlutusIR.Compiler
coPreserveLoggingPlutusIR.Compiler.Types, PlutusIR.Compiler
coProfile 
1 (Function)PlutusIR.Compiler.Types, PlutusIR.Compiler
2 (Function)PlutusTx.Compiler.Types
coRelaxedFloatinPlutusIR.Compiler.Types, PlutusIR.Compiler
coRemoveTracePlutusTx.Compiler.Types
CoreNameLookupErrorPlutusTx.Compiler.Error
coSimplifyOptsPlutusCore.Compiler.Opts, PlutusCore.Compiler
CostConsPlutusCore.Evaluation.Machine.CostStream
CostingFun 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
costingFunCpuPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
costingFunMemoryPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
CostingIntegerPlutusCore.Evaluation.Machine.ExMemory
CostingPartPlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin, PlutusCore.Builtin.Debug, PlutusCore.Builtin.Debug
costIsAcceptablePlutusIR.Transform.Inline.Utils
CostLastPlutusCore.Evaluation.Machine.CostStream
CostModel 
1 (Type/Class)PlutusCore.Evaluation.Machine.MachineParameters
2 (Data Constructor)PlutusCore.Evaluation.Machine.MachineParameters
3 (Type/Class)Opts
CostModelApplyErrorPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
CostModelApplyWarnPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common
costModelDataDirPlutusCore.DataFilePaths
CostModelParameterMismatchPlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
CostModelParamsPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
costModelParamsForTesting 
1 (Function)PlutusLedgerApi.Test.V3.Data.EvaluationContext
2 (Function)PlutusLedgerApi.Test.V2.Data.EvaluationContext
3 (Function)PlutusLedgerApi.Test.V1.Data.EvaluationContext
4 (Function)PlutusLedgerApi.Test.V3.EvaluationContext
5 (Function)PlutusLedgerApi.Test.V2.EvaluationContext
6 (Function)PlutusLedgerApi.Test.V1.EvaluationContext
CostRose 
1 (Type/Class)PlutusCore.Evaluation.Machine.ExMemoryUsage
2 (Data Constructor)PlutusCore.Evaluation.Machine.ExMemoryUsage
CostStreamPlutusCore.Evaluation.Machine.CostStream
coTypecheckPlutusIR.Compiler.Types, PlutusIR.Compiler
CounterSizeUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CountingOpts
countingUntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
countingbudgetOpts
CountingSt 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CountSetBitsPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
countSetBits 
1 (Function)PlutusCore.Bitwise
2 (Function)PlutusTx.Builtins.Internal
3 (Function)PlutusTx.Builtins, PlutusTx.Prelude
CountSetBits'cpu'arguments'interceptPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CountSetBits'cpu'arguments'slopePlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CountSetBits'memory'argumentsPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CoverageAnnotationPlutusTx.Coverage
coverageAnnotationsPlutusTx.Coverage
CoverageData 
1 (Type/Class)PlutusTx.Coverage
2 (Data Constructor)PlutusTx.Coverage
coverageDataFromLogMsgPlutusTx.Coverage
CoverageIndex 
1 (Type/Class)PlutusTx.Coverage
2 (Data Constructor)PlutusTx.Coverage
CoverageMetadata 
1 (Type/Class)PlutusTx.Coverage
2 (Data Constructor)PlutusTx.Coverage
coverageMetadataPlutusTx.Coverage
CoverageOpts 
1 (Type/Class)PlutusTx.Compiler.Types
2 (Data Constructor)PlutusTx.Compiler.Types
CoverageReport 
1 (Type/Class)PlutusTx.Coverage
2 (Data Constructor)PlutusTx.Coverage
CoverageTypePlutusTx.Compiler.Types
CoverBoolPlutusTx.Coverage
coVerbosePlutusIR.Compiler.Types, PlutusIR.Compiler
coveredAnnotationsPlutusTx.Coverage
CoverLocationPlutusTx.Coverage
cover_'8868'_6MAlonzo.Code.Agda.Builtin.Unit
cover_Associativity_14MAlonzo.Code.Agda.Builtin.Reflection
cover_AtomicTyCon_6MAlonzo.Code.Builtin.Constant.AtomicType
cover_BudgetMode_36MAlonzo.Code.Evaluator.Program
cover_Builtin_2MAlonzo.Code.Builtin
cover_Command_36MAlonzo.Code.Main
cover_CpuAndMemoryModel_146MAlonzo.Code.Cost.Raw
cover_DATA_450MAlonzo.Code.Utils
cover_Either_6MAlonzo.Code.Utils
cover_ERROR_12MAlonzo.Code.Evaluator.Base
cover_Esc_24MAlonzo.Code.RawU
cover_EvalMode_46MAlonzo.Code.Evaluator.Program
cover_EvalOptions_24MAlonzo.Code.Main
cover_Fixity_28MAlonzo.Code.Agda.Builtin.Reflection
cover_Kind_476MAlonzo.Code.Utils
cover_LinearFunction_32MAlonzo.Code.Cost.Raw
cover_List_382MAlonzo.Code.Utils
cover_OneVariableQuadraticFunction_44MAlonzo.Code.Cost.Raw
cover_Precedence_22MAlonzo.Code.Agda.Builtin.Reflection
cover_RawModel_108MAlonzo.Code.Cost.Raw
cover_RawTm_30MAlonzo.Code.Raw
cover_RawTyCon_4MAlonzo.Code.Raw
cover_RawTy_2MAlonzo.Code.Raw
cover_RuntimeError_348MAlonzo.Code.Utils
cover_ScopeError_576MAlonzo.Code.Scoped
cover_TagCon_58MAlonzo.Code.RawU
cover_Tag_28MAlonzo.Code.RawU
cover_TwoVariableLinearFunction_60MAlonzo.Code.Cost.Raw
cover_TwoVariableQuadraticFunction_76MAlonzo.Code.Cost.Raw
cover_TypecheckOptions_30MAlonzo.Code.Main
cover_Untyped_146MAlonzo.Code.RawU
cover__'215'__364MAlonzo.Code.Utils
CovLoc 
1 (Type/Class)PlutusTx.Coverage
2 (Data Constructor)PlutusTx.Coverage
covLocEndColPlutusTx.Coverage
covLocEndLinePlutusTx.Coverage
covLocFilePlutusTx.Coverage
covLocStartColPlutusTx.Coverage
covLocStartLinePlutusTx.Coverage
CpuAndMemoryModel 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
cpuModelPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
CredentialPlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
cseUntypedPlutusCore.Transform.Cse
csNextStepPlutusTx.Compiler.Types
csPreviousStepsPlutusTx.Compiler.Types
Ctrex 
1 (Type/Class)PlutusCore.Generators.NEAT.Spec
2 (Data Constructor)PlutusCore.Generators.NEAT.Spec
CtrexKindCheckFailPlutusCore.Generators.NEAT.Spec
CtrexKindMismatchPlutusCore.Generators.NEAT.Spec
CtrexKindPreservationFailPlutusCore.Generators.NEAT.Spec
CtrexNormalizeConvertCommuteTypesPlutusCore.Generators.NEAT.Spec
CtrexNormalTypesCannotReducePlutusCore.Generators.NEAT.Spec
CtrexTermEvaluationFailPlutusCore.Generators.NEAT.Spec
CtrexTermEvaluationMismatchPlutusCore.Generators.NEAT.Spec
CtrexTypeCheckFailPlutusCore.Generators.NEAT.Spec
CtrexTypeNormalizationFailPlutusCore.Generators.NEAT.Spec
CtrexTypeNormalizationMismatchPlutusCore.Generators.NEAT.Spec
CtrexTypePreservationFailPlutusCore.Generators.NEAT.Spec
CtrexUntypedTermEvaluationMismatchPlutusCore.Generators.NEAT.Spec
CurrencySymbol 
1 (Type/Class)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
3 (Type/Class)PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
4 (Data Constructor)PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
currencySymbol 
1 (Function)PlutusLedgerApi.V1.Value
2 (Function)PlutusLedgerApi.V1.Data.Value
currencySymbolValueOf 
1 (Function)PlutusLedgerApi.V1.Value
2 (Function)PlutusLedgerApi.V1.Data.Value
currentLevelPlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
curryPlutusTx.Base, PlutusTx.Prelude
CustomPlutusIR.Pass
CustomBiPlutusIR.Pass
cutoffUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
C_'183''8801'β_26MAlonzo.Code.Type.Equality
C_'42'_478MAlonzo.Code.Utils
C_'43''60''43'_72MAlonzo.Code.Data.Integer.Base
C_'43''8804''43'_48MAlonzo.Code.Data.Integer.Base
C_'43'_10MAlonzo.Code.Data.Sign.Base
C_'45''183''8902'_1112MAlonzo.Code.Algorithmic.CEK
C_'45''183''8902'_382MAlonzo.Code.Algorithmic.ReductionEC
C_'45''183'v_1098MAlonzo.Code.Algorithmic.CEK
C_'45''183'v_202MAlonzo.Code.Untyped.CEK
C_'45''183'v_366MAlonzo.Code.Algorithmic.ReductionEC
C_'45''183'_1092MAlonzo.Code.Algorithmic.CEK
C_'45''183'_200MAlonzo.Code.Untyped.CEK
C_'45''183'__358MAlonzo.Code.Algorithmic.ReductionEC
C_'45''60''43'_64MAlonzo.Code.Data.Integer.Base
C_'45''60''45'_58MAlonzo.Code.Data.Integer.Base
C_'45''8804''43'_40MAlonzo.Code.Data.Integer.Base
C_'45''8804''45'_34MAlonzo.Code.Data.Integer.Base
C_'45'_8MAlonzo.Code.Data.Sign.Base
C_'8658''8801'β_20MAlonzo.Code.Type.Equality
C_'8709'_18MAlonzo.Code.Declarative
C_'8709'_4 
1 (Data Constructor)MAlonzo.Code.Type
2 (Data Constructor)MAlonzo.Code.Algorithmic
C_'8729''8776''8729'_22MAlonzo.Code.Relation.Binary.Construct.Add.Point.Equality
C_'8764''43'_34MAlonzo.Code.Data.Tree.AVL.Height
C_'8764''45'_42MAlonzo.Code.Data.Tree.AVL.Height
C_'8764'0_38MAlonzo.Code.Data.Tree.AVL.Height
C_'8804''8242''45'refl_158MAlonzo.Code.Data.Nat.Base
C_'8804''8242''45'step_164MAlonzo.Code.Data.Nat.Base
C_'8804''8244''45'refl_226MAlonzo.Code.Data.Nat.Base
C_'8804''8244''45'step_232MAlonzo.Code.Data.Nat.Base
C_'8869''8331''60''91'_'93'_24MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.Strict
C_'8869''8331''8804'__24MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.NonStrict
C_'91''93'_10MAlonzo.Code.Utils.List
C_'91''93'_16MAlonzo.Code.Agda.Builtin.List
C_'91''93'_18MAlonzo.Code.Untyped.CEK
C_'91''93'_180MAlonzo.Code.Declarative
C_'91''93'_202MAlonzo.Code.Algorithmic.CEK
C_'91''93'_22MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core
C_'91''93'_268MAlonzo.Code.Algorithmic
C_'91''93'_28MAlonzo.Code.Data.Vec.Base
C_'91''93'_308MAlonzo.Code.Utils.List
C_'91''93'_386MAlonzo.Code.Utils
C_'91''93'_402MAlonzo.Code.Utils.List
C_'91''93'_480MAlonzo.Code.Algorithmic.ReductionEC
C_'91''93'_50MAlonzo.Code.Data.List.Relation.Unary.All
C_'91''93'_56MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base
C_'91''93'_810MAlonzo.Code.Utils.List
C_'91''93'_832MAlonzo.Code.Data.List.Base
C_'91''93'_840MAlonzo.Code.Utils.List
C_'91'_'93''60''8868''8314'_30MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.Strict
C_'91'_'93'_102MAlonzo.Code.Relation.Binary.PropositionalEquality
C_'91'_'93'_26 
1 (Data Constructor)MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.NonStrict
2 (Data Constructor)MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.Strict
C_'91'_'93'_28MAlonzo.Code.Relation.Binary.Construct.Add.Point.Equality
C_'91'_'93'_30 
1 (Data Constructor)MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.NonStrict
2 (Data Constructor)MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.Strict
C_'91'_'93'_348MAlonzo.Code.Induction.WellFounded
C_'91'_'93'_44MAlonzo.Code.Relation.Binary.Construct.Closure.Reflexive
C_'94'_12MAlonzo.Code.Type.BetaNormal
C_'94'_34MAlonzo.Code.Type
C_'96'_114MAlonzo.Code.Declarative
C_'96'_174MAlonzo.Code.Algorithmic
C_'96'_18 
1 (Data Constructor)MAlonzo.Code.Scoped
2 (Data Constructor)MAlonzo.Code.Untyped
C_'96'_22MAlonzo.Code.Type
C_'96'_28MAlonzo.Code.Builtin.Signature
C_'96'_32MAlonzo.Code.Raw
C_'96'_528MAlonzo.Code.Scoped
C_'96'_6MAlonzo.Code.Raw
C_'96'_8 
1 (Data Constructor)MAlonzo.Code.Type.BetaNormal
2 (Data Constructor)MAlonzo.Code.Builtin.Signature
C_'9633'_1194MAlonzo.Code.Algorithmic.CEK
C_'9633'_226MAlonzo.Code.Untyped.CEK
C_'9633'_50MAlonzo.Code.Algorithmic.CK
C_'9670'_1196MAlonzo.Code.Algorithmic.CEK
C_'9670'_228MAlonzo.Code.Untyped.CEK
C_'9670'_54MAlonzo.Code.Algorithmic.CK
C_'9839'_42MAlonzo.Code.Algorithmic
C_'9839'_480MAlonzo.Code.Utils
C_AbelianGroup'46'constructor_16529MAlonzo.Code.Algebra.Bundles
C_aBls12'45'381'45'g1'45'element_20MAlonzo.Code.Builtin.Constant.AtomicType
C_aBls12'45'381'45'g2'45'element_22MAlonzo.Code.Builtin.Constant.AtomicType
C_aBls12'45'381'45'mlresult_24MAlonzo.Code.Builtin.Constant.AtomicType
C_aBool_16MAlonzo.Code.Builtin.Constant.AtomicType
C_absurd'45'clause_278MAlonzo.Code.Agda.Builtin.Reflection
C_absurd_264MAlonzo.Code.Agda.Builtin.Reflection
C_abs_122MAlonzo.Code.Agda.Builtin.Reflection
C_aBytestring_10MAlonzo.Code.Builtin.Constant.AtomicType
C_acc_52MAlonzo.Code.Induction.WellFounded
C_aData_18MAlonzo.Code.Builtin.Constant.AtomicType
C_AddedSizes_112MAlonzo.Code.Cost.Raw
C_addedSizes_32MAlonzo.Code.Cost.Model
C_addInteger_4MAlonzo.Code.Builtin
C_agda'45'sort_206MAlonzo.Code.Agda.Builtin.Reflection
C_aInteger_8MAlonzo.Code.Builtin.Constant.AtomicType
C_allterms_794MAlonzo.Code.VerifiedCompilation.UntypedViews
C_andByteString_154MAlonzo.Code.Builtin
C_app'8902'_120MAlonzo.Code.Untyped.CEK
C_appendByteString_24MAlonzo.Code.Builtin
C_appendString_52MAlonzo.Code.Builtin
C_appfd'8315''185'_58MAlonzo.Code.VerifiedCompilation.UForceDelay
C_appfd_50MAlonzo.Code.VerifiedCompilation.UForceDelay
C_app_106MAlonzo.Code.Untyped.CEK
C_app_48MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_arg'45'info_82MAlonzo.Code.Agda.Builtin.Reflection
C_argtype_66MAlonzo.Code.Builtin.Signature
C_Arg_62MAlonzo.Code.Text.Format.Generic
C_arg_98MAlonzo.Code.Agda.Builtin.Reflection
C_aString_12MAlonzo.Code.Builtin.Constant.AtomicType
C_atomic_12MAlonzo.Code.Builtin.Signature
C_atomic_24MAlonzo.Code.Raw
C_atomic_8MAlonzo.Code.Builtin.Constant.Type
C_aUnit_14MAlonzo.Code.Builtin.Constant.AtomicType
C_axiom_302MAlonzo.Code.Agda.Builtin.Reflection
C_b'8804'b_16MAlonzo.Code.Data.Bool.Base
C_Band'46'constructor_4745MAlonzo.Code.Algebra.Bundles
C_BApply_14MAlonzo.Code.Cost.Base
C_base_144MAlonzo.Code.Algorithmic.CEK
C_base_42MAlonzo.Code.Data.List.Relation.Binary.Lex.Core
C_base_78MAlonzo.Code.Algorithmic.ReductionEC
C_base_94MAlonzo.Code.Untyped.CEK
C_BBuiltinApp_40MAlonzo.Code.Cost.Base
C_BBuiltin_20MAlonzo.Code.Cost.Base
C_BCase_24MAlonzo.Code.Cost.Base
C_BConstr_22MAlonzo.Code.Cost.Base
C_BConst_8MAlonzo.Code.Cost.Base
C_bDATA_460MAlonzo.Code.Utils
C_bData_90MAlonzo.Code.Builtin
C_BDelay_16MAlonzo.Code.Cost.Base
C_BForce_18MAlonzo.Code.Cost.Base
C_BiEquivalence'46'constructor_28533MAlonzo.Code.Function.Bundles
C_BiInverse'46'constructor_30623MAlonzo.Code.Function.Bundles
C_Bijection'46'constructor_12595MAlonzo.Code.Function.Bundles
C_Bijection'46'constructor_4749MAlonzo.Code.Function.Bijection
C_bijection_146MAlonzo.Code.Function.Related
C_bijection_162MAlonzo.Code.Function.Related
C_bijection_190MAlonzo.Code.Function.Related
C_bijection_214MAlonzo.Code.Function.Related
C_bijection_68MAlonzo.Code.Function.Related
C_Bijective'46'constructor_1705MAlonzo.Code.Function.Bijection
C_blake2b'45'224_148MAlonzo.Code.Builtin
C_blake2b'45'256_44MAlonzo.Code.Builtin
C_BLamAbs_12MAlonzo.Code.Cost.Base
C_blockerAll_104MAlonzo.Code.Agda.Builtin.Reflection
C_blockerAny_102MAlonzo.Code.Agda.Builtin.Reflection
C_blockerMeta_106MAlonzo.Code.Agda.Builtin.Reflection
C_bls12'45'381'45'finalVerify_144MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'add_112MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'compress_122MAlonzo.Code.Builtin
C_bls12'45'381'45'g1'45'element_52MAlonzo.Code.RawU
C_bls12'45'381'45'G1'45'equal_118MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'hashToGroup_120MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'neg_114MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'scalarMul_116MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'uncompress_124MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'add_126MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'compress_136MAlonzo.Code.Builtin
C_bls12'45'381'45'g2'45'element_54MAlonzo.Code.RawU
C_bls12'45'381'45'G2'45'equal_132MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'hashToGroup_134MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'neg_128MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'scalarMul_130MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'uncompress_138MAlonzo.Code.Builtin
C_bls12'45'381'45'millerLoop_140MAlonzo.Code.Builtin
C_bls12'45'381'45'mlresult_56MAlonzo.Code.RawU
C_bls12'45'381'45'mulMlResult_142MAlonzo.Code.Builtin
C_BooleanAlgebra'46'constructor_50705MAlonzo.Code.Algebra.Bundles
C_BooleanAlgebra'46'constructor_65119MAlonzo.Code.Relation.Binary.Lattice
C_bool_36MAlonzo.Code.RawU
C_BoundedJoinSemilattice'46'constructor_11633MAlonzo.Code.Relation.Binary.Lattice
C_BoundedLattice'46'constructor_44603MAlonzo.Code.Relation.Binary.Lattice
C_BoundedMeetSemilattice'46'constructor_23291MAlonzo.Code.Relation.Binary.Lattice
C_bresult_274MAlonzo.Code.Builtin.Signature
C_BStartup_42MAlonzo.Code.Cost.Base
C_BStep_36MAlonzo.Code.Cost.Base
C_bubble_1136MAlonzo.Code.Utils.List
C_bubble_132MAlonzo.Code.Utils
C_bubble_700MAlonzo.Code.Utils.List
C_builtinError_102MAlonzo.Code.Check
C_BuiltinModel'46'constructor_581MAlonzo.Code.Cost.Model
C_builtin_'47'__254MAlonzo.Code.Algorithmic
C_builtin_166MAlonzo.Code.Declarative
C_builtin_44MAlonzo.Code.Untyped
C_builtin_46MAlonzo.Code.Raw
C_builtin_544MAlonzo.Code.Scoped
C_builtin_86MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_BVar_10MAlonzo.Code.Cost.Base
C_byteStringToInteger_150MAlonzo.Code.Builtin
C_bytestring_32MAlonzo.Code.RawU
C_CancellativeCommutativeSemiring'46'constructor_39835MAlonzo.Code.Algebra.Bundles
C_case'45'_1160MAlonzo.Code.Algorithmic.CEK
C_case'45'_216MAlonzo.Code.Untyped.CEK
C_case'45'_428MAlonzo.Code.Algorithmic.ReductionEC
C_case_154MAlonzo.Code.Declarative
C_case_242MAlonzo.Code.Algorithmic
C_case_40MAlonzo.Code.Untyped
C_case_564MAlonzo.Code.Scoped
C_case_568MAlonzo.Code.Algorithmic.ReductionEC
C_case_66MAlonzo.Code.Raw
C_case_82MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_Center_144MAlonzo.Code.Data.String.Base
C_CharArg_12MAlonzo.Code.Text.Format
C_char_140MAlonzo.Code.Agda.Builtin.Reflection
C_chooseData_80MAlonzo.Code.Builtin
C_chooseList_70MAlonzo.Code.Builtin
C_chooseUnit_62MAlonzo.Code.Builtin
C_clause_272MAlonzo.Code.Agda.Builtin.Reflection
C_CommutativeMagma'46'constructor_2623MAlonzo.Code.Algebra.Bundles
C_CommutativeMonoid'46'constructor_10343MAlonzo.Code.Algebra.Bundles
C_CommutativeRing'46'constructor_47013MAlonzo.Code.Algebra.Bundles
C_CommutativeSemigroup'46'constructor_5887MAlonzo.Code.Algebra.Bundles
C_CommutativeSemiring'46'constructor_36513MAlonzo.Code.Algebra.Bundles
C_CommutativeSemiringWithoutOne'46'constructor_27945MAlonzo.Code.Algebra.Bundles
C_complementByteString_160MAlonzo.Code.Builtin
C_con'8801'β_34MAlonzo.Code.Type.Equality
C_cons'10216''91''8801''93''10217'β_74MAlonzo.Code.Type.Equality
C_cons'91''8801''93'β_60MAlonzo.Code.Type.Equality
C_consByteString_26MAlonzo.Code.Builtin
C_ConstAboveDiagonal_140MAlonzo.Code.Cost.Raw
C_ConstantCost_110MAlonzo.Code.Cost.Raw
C_constantCost_12MAlonzo.Code.Cost.Model
C_ConstBelowDiagonal_142MAlonzo.Code.Cost.Raw
C_ConstOffDiagonal_144MAlonzo.Code.Cost.Raw
C_constr'45'_1148MAlonzo.Code.Algorithmic.CEK
C_constr'45'_210MAlonzo.Code.Untyped.CEK
C_constr'45'_420MAlonzo.Code.Algorithmic.ReductionEC
C_ConstrDATA_452MAlonzo.Code.Utils
C_constrData_82MAlonzo.Code.Builtin
C_constr_142MAlonzo.Code.Declarative
C_constr_230MAlonzo.Code.Algorithmic
C_constr_34MAlonzo.Code.Untyped
C_constr_556MAlonzo.Code.Scoped
C_constr_558MAlonzo.Code.Algorithmic.ReductionEC
C_constr_58MAlonzo.Code.Raw
C_constr_72MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_cons_28MAlonzo.Code.VerifiedCompilation
C_conv_156MAlonzo.Code.Declarative
C_con_16MAlonzo.Code.Raw
C_con_162MAlonzo.Code.Declarative
C_con_178MAlonzo.Code.Agda.Builtin.Reflection
C_con_22MAlonzo.Code.Type.BetaNormal
C_con_244MAlonzo.Code.Agda.Builtin.Reflection
C_con_248MAlonzo.Code.Algorithmic
C_con_28MAlonzo.Code.Untyped
C_con_30MAlonzo.Code.Scoped
C_con_36MAlonzo.Code.Type
C_con_42MAlonzo.Code.Raw
C_con_538MAlonzo.Code.Scoped
C_con_64MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_Counting_42MAlonzo.Code.Evaluator.Program
C_countSetBits_172MAlonzo.Code.Builtin
C_data'45'cons_300MAlonzo.Code.Agda.Builtin.Reflection
C_data'45'type_290MAlonzo.Code.Agda.Builtin.Reflection
C_deBError_578MAlonzo.Code.Scoped
C_DecEq'46'constructor_11MAlonzo.Code.VerifiedCompilation.Equality
C_decodeUtf8_58MAlonzo.Code.Builtin
C_DecPoset'46'constructor_6777MAlonzo.Code.Relation.Binary.Bundles
C_DecSetoid'46'constructor_1385MAlonzo.Code.Relation.Binary.Bundles
C_DecStrictPartialOrder'46'constructor_10419MAlonzo.Code.Relation.Binary.Bundles
C_DecTotalOrder'46'constructor_14337MAlonzo.Code.Relation.Binary.Bundles
C_def_184MAlonzo.Code.Agda.Builtin.Reflection
C_delayfd_108MAlonzo.Code.VerifiedCompilation.UForceDelay
C_delay_26MAlonzo.Code.Untyped
C_delay_60MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_DistributiveLattice'46'constructor_20939MAlonzo.Code.Algebra.Bundles
C_DistributiveLattice'46'constructor_36391MAlonzo.Code.Relation.Binary.Lattice
C_divideInteger_10MAlonzo.Code.Builtin
C_divides_26MAlonzo.Code.Data.Nat.Divisibility.Core
C_done_18MAlonzo.Code.Algorithmic.Evaluation
C_done_20MAlonzo.Code.Algorithmic.ReductionEC.Progress
C_done_48MAlonzo.Code.Algorithmic.ReductionEC.Progress
C_dot_248MAlonzo.Code.Agda.Builtin.Reflection
C_E'45'error_1078MAlonzo.Code.Algorithmic.CEK
C_E'45'error_346MAlonzo.Code.Algorithmic.ReductionEC
C_empty_16MAlonzo.Code.VerifiedCompilation
C_encodeUtf8_56MAlonzo.Code.Builtin
C_equalsByteString_34MAlonzo.Code.Builtin
C_equalsData_102MAlonzo.Code.Builtin
C_equalsInteger_18MAlonzo.Code.Builtin
C_equalsString_54MAlonzo.Code.Builtin
C_equals_68MAlonzo.Code.Relation.Binary.Reasoning.Base.Double
C_equals_86MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
C_equal_262MAlonzo.Code.Data.Nat.Base
C_equal_516MAlonzo.Code.Data.Fin.Base
C_Equivalence'46'constructor_16599MAlonzo.Code.Function.Bundles
C_Equivalence'46'constructor_433MAlonzo.Code.Function.Equivalence
C_equivalence_144MAlonzo.Code.Function.Related
C_equivalence_154MAlonzo.Code.Function.Related
C_equivalence_182MAlonzo.Code.Function.Related
C_equivalence_208MAlonzo.Code.Function.Related
C_equivalence_58MAlonzo.Code.Function.Related
C_Error'46'constructor_419MAlonzo.Code.Text.Printf.Generic
C_error_170MAlonzo.Code.Declarative
C_error_258MAlonzo.Code.Algorithmic
C_error_26MAlonzo.Code.Algorithmic.Evaluation
C_error_44MAlonzo.Code.Raw
C_error_46MAlonzo.Code.Untyped
C_error_540MAlonzo.Code.Scoped
C_error_88MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_EvalOpts_28MAlonzo.Code.Main
C_Eval_40MAlonzo.Code.Main
C_expModInteger_178MAlonzo.Code.Builtin
C_f'60't_20MAlonzo.Code.Data.Bool.Base
C_f'8804't_12MAlonzo.Code.Data.Bool.Base
C_false_8MAlonzo.Code.Agda.Builtin.Bool
C_findFirstSetBit_174MAlonzo.Code.Builtin
C_fixity_30MAlonzo.Code.Agda.Builtin.Reflection
C_FloatArg_10MAlonzo.Code.Text.Format
C_float_136MAlonzo.Code.Agda.Builtin.Reflection
C_force'45'_206MAlonzo.Code.Untyped.CEK
C_forcedelay_18MAlonzo.Code.VerifiedCompilation.UForceDelay
C_forcefd_98MAlonzo.Code.VerifiedCompilation.UForceDelay
C_force_24MAlonzo.Code.Untyped
C_force_54MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_FormatSpec'46'constructor_27MAlonzo.Code.Text.Format.Generic
C_freeVariableError_580MAlonzo.Code.Scoped
C_fstPair_66MAlonzo.Code.Builtin
C_Func'46'constructor_5949MAlonzo.Code.Function.Bundles
C_function_284MAlonzo.Code.Agda.Builtin.Reflection
C_gasError_350MAlonzo.Code.Utils
C_gas_6MAlonzo.Code.Algorithmic.Evaluation
C_greater_268MAlonzo.Code.Data.Nat.Base
C_greater_522MAlonzo.Code.Data.Fin.Base
C_Group'46'constructor_14575MAlonzo.Code.Algebra.Bundles
C_halt_48MAlonzo.Code.Data.List.Relation.Binary.Lex.Core
C_headList_74MAlonzo.Code.Builtin
C_here_46MAlonzo.Code.Data.List.Relation.Unary.Any
C_here_54MAlonzo.Code.Data.Vec.Base
C_here_88MAlonzo.Code.Data.List.Relation.Unary.All
C_HeytingAlgebra'46'constructor_55523MAlonzo.Code.Relation.Binary.Lattice
C_hidden_52MAlonzo.Code.Agda.Builtin.Reflection
C_HsEq'46'constructor_31581MAlonzo.Code.VerifiedCompilation.Equality
C_iDATA_458MAlonzo.Code.Utils
C_iData_88MAlonzo.Code.Builtin
C_IdempotentCommutativeMonoid'46'constructor_12109MAlonzo.Code.Algebra.Bundles
C_ifThenElse_60MAlonzo.Code.Builtin
C_implication_152MAlonzo.Code.Function.Related
C_implication_54MAlonzo.Code.Function.Related
C_indexByteString_32MAlonzo.Code.Builtin
C_IndexedPreorder'46'constructor_1981MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles
C_IndexedSetoid'46'constructor_445MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles
C_IndexOutOfBounds_82MAlonzo.Code.Check
C_inf_236MAlonzo.Code.Agda.Builtin.Reflection
C_inj'8321'_12MAlonzo.Code.Utils
C_inj'8321'_38MAlonzo.Code.Data.Sum.Base
C_inj'8321'_64MAlonzo.Code.Data.Sum.Relation.Binary.Pointwise
C_inj'8322'_14MAlonzo.Code.Utils
C_inj'8322'_42MAlonzo.Code.Data.Sum.Base
C_inj'8322'_70MAlonzo.Code.Data.Sum.Relation.Binary.Pointwise
C_Injection'46'constructor_3057MAlonzo.Code.Function.Injection
C_Injection'46'constructor_8015MAlonzo.Code.Function.Bundles
C_injection_156MAlonzo.Code.Function.Related
C_injection_60MAlonzo.Code.Function.Related
C_instance'8242'_54MAlonzo.Code.Agda.Builtin.Reflection
C_integerToByteString_152MAlonzo.Code.Builtin
C_integer_30MAlonzo.Code.RawU
C_InvalidType_86MAlonzo.Code.Text.Format.Generic
C_Inverse'46'constructor_23693MAlonzo.Code.Function.Bundles
C_Inverse'46'constructor_3557MAlonzo.Code.Function.Inverse
C_irrelevant_60MAlonzo.Code.Agda.Builtin.Reflection
C_IsAbelianGroup'46'constructor_17421MAlonzo.Code.Algebra.Structures
C_IsAbelianGroupMorphism'46'constructor_11199MAlonzo.Code.Algebra.Morphism
C_isapp_154MAlonzo.Code.VerifiedCompilation.UntypedViews
C_IsBand'46'constructor_4787MAlonzo.Code.Algebra.Structures
C_IsBiEquivalence'46'constructor_24471MAlonzo.Code.Function.Structures
C_IsBiInverse'46'constructor_29527MAlonzo.Code.Function.Structures
C_IsBijection'46'constructor_9159MAlonzo.Code.Function.Structures
C_IsBooleanAlgebra'46'constructor_59337MAlonzo.Code.Algebra.Structures
C_IsBooleanAlgebra'46'constructor_59449MAlonzo.Code.Relation.Binary.Lattice
C_IsBoundedJoinSemilattice'46'constructor_9099MAlonzo.Code.Relation.Binary.Lattice
C_IsBoundedLattice'46'constructor_39749MAlonzo.Code.Relation.Binary.Lattice
C_IsBoundedMeetSemilattice'46'constructor_20757MAlonzo.Code.Relation.Binary.Lattice
C_isbuiltin_704MAlonzo.Code.VerifiedCompilation.UntypedViews
C_IsCancellativeCommutativeSemiring'46'constructor_44635MAlonzo.Code.Algebra.Structures
C_iscase_586MAlonzo.Code.VerifiedCompilation.UntypedViews
C_isCoCCase_58MAlonzo.Code.VerifiedCompilation.UCaseOfCase
C_isCoCForce_162MAlonzo.Code.VerifiedCompilation.UCaseOfCase
C_isCoC_28MAlonzo.Code.VerifiedCompilation.UCaseOfCase
C_isCoC_40MAlonzo.Code.VerifiedCompilation
C_IsCommutativeMagma'46'constructor_2433MAlonzo.Code.Algebra.Structures
C_IsCommutativeMonoid'46'constructor_9361MAlonzo.Code.Algebra.Structures
C_IsCommutativeMonoid'691''46'constructor_19839MAlonzo.Code.Algebra.Structures.Biased
C_IsCommutativeMonoid'737''46'constructor_18101MAlonzo.Code.Algebra.Structures.Biased
C_IsCommutativeMonoidMorphism'46'constructor_3701MAlonzo.Code.Algebra.Morphism
C_IsCommutativeRing'46'constructor_54081MAlonzo.Code.Algebra.Structures
C_IsCommutativeSemigroup'46'constructor_5673MAlonzo.Code.Algebra.Structures
C_IsCommutativeSemiring'46'constructor_40675MAlonzo.Code.Algebra.Structures
C_IsCommutativeSemiring'691''46'constructor_26987MAlonzo.Code.Algebra.Structures.Biased
C_IsCommutativeSemiring'737''46'constructor_21625MAlonzo.Code.Algebra.Structures.Biased
C_IsCommutativeSemiringWithoutOne'46'constructor_31059MAlonzo.Code.Algebra.Structures
C_IsCongruent'46'constructor_985MAlonzo.Code.Function.Structures
C_isconstr_488MAlonzo.Code.VerifiedCompilation.UntypedViews
C_iscon_444MAlonzo.Code.VerifiedCompilation.UntypedViews
C_IsDecEquivalence'46'constructor_3075MAlonzo.Code.Relation.Binary.Structures
C_IsDecPartialOrder'46'constructor_10957MAlonzo.Code.Relation.Binary.Structures
C_IsDecStrictPartialOrder'46'constructor_17873MAlonzo.Code.Relation.Binary.Structures
C_IsDecTotalOrder'46'constructor_21785MAlonzo.Code.Relation.Binary.Structures
C_isdelay_362MAlonzo.Code.VerifiedCompilation.UntypedViews
C_IsDistributiveLattice'46'constructor_24097MAlonzo.Code.Algebra.Structures
C_IsDistributiveLattice'46'constructor_33235MAlonzo.Code.Relation.Binary.Lattice
C_isEquality_134MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
C_isEquality_82MAlonzo.Code.Relation.Binary.Reasoning.Base.Double
C_IsEquivalence'46'constructor_743MAlonzo.Code.Relation.Binary.Structures
C_iserror_740MAlonzo.Code.VerifiedCompilation.UntypedViews
C_isFD_50MAlonzo.Code.VerifiedCompilation
C_isforce_276MAlonzo.Code.VerifiedCompilation.UntypedViews
C_IsGeneralMetric'46'constructor_17141MAlonzo.Code.Function.Metric.Structures
C_IsGroup'46'constructor_12945MAlonzo.Code.Algebra.Structures
C_IsGroupMorphism'46'constructor_7461MAlonzo.Code.Algebra.Morphism
C_IsHeytingAlgebra'46'constructor_48411MAlonzo.Code.Relation.Binary.Lattice
C_IsIdempotentCommutativeMonoid'46'constructor_10859MAlonzo.Code.Algebra.Structures
C_IsIdempotentCommutativeMonoidMorphism'46'constructor_5357MAlonzo.Code.Algebra.Morphism
C_IsIndexedEquivalence'46'constructor_1089MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures
C_IsIndexedPreorder'46'constructor_5831MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures
C_IsInjection'46'constructor_3991MAlonzo.Code.Function.Structures
C_IsInverse'46'constructor_19781MAlonzo.Code.Function.Structures
C_IsJoinSemilattice'46'constructor_2281MAlonzo.Code.Relation.Binary.Lattice
C_islambda_62MAlonzo.Code.VerifiedCompilation.UntypedViews
C_IsLattice'46'constructor_20027MAlonzo.Code.Algebra.Structures
C_IsLattice'46'constructor_25911MAlonzo.Code.Relation.Binary.Lattice
C_IsLeftInverse'46'constructor_13425MAlonzo.Code.Function.Structures
C_IsMagma'46'constructor_553MAlonzo.Code.Algebra.Structures
C_IsMeetSemilattice'46'constructor_13939MAlonzo.Code.Relation.Binary.Lattice
C_IsMonoid'46'constructor_7687MAlonzo.Code.Algebra.Structures
C_IsMonoidMorphism'46'constructor_2137MAlonzo.Code.Algebra.Morphism
C_IsNearSemiring'46'constructor_25785MAlonzo.Code.Algebra.Structures
C_IsPartialEquivalence'46'constructor_273MAlonzo.Code.Relation.Binary.Structures
C_IsPartialOrder'46'constructor_9297MAlonzo.Code.Relation.Binary.Structures
C_IsPreMetric'46'constructor_6061MAlonzo.Code.Function.Metric.Structures
C_IsPreorder'46'constructor_3993MAlonzo.Code.Relation.Binary.Structures
C_IsProtoMetric'46'constructor_2109MAlonzo.Code.Function.Metric.Structures
C_IsQuasiSemiMetric'46'constructor_9549MAlonzo.Code.Function.Metric.Structures
C_IsRightInverse'46'constructor_16843MAlonzo.Code.Function.Structures
C_IsRing'46'constructor_48413MAlonzo.Code.Algebra.Structures
C_IsRingMorphism'46'constructor_13379MAlonzo.Code.Algebra.Morphism
C_IsRingWithoutAnnihilatingZero'46'constructor_32383MAlonzo.Code.Algebra.Structures.Biased
C_IsSelectiveMagma'46'constructor_3217MAlonzo.Code.Algebra.Structures
C_IsSemigroup'46'constructor_4001MAlonzo.Code.Algebra.Structures
C_IsSemigroupMorphism'46'constructor_1081MAlonzo.Code.Algebra.Morphism
C_IsSemilattice'46'constructor_6687MAlonzo.Code.Algebra.Structures
C_IsSemiMetric'46'constructor_13167MAlonzo.Code.Function.Metric.Structures
C_IsSemiring'46'constructor_37213MAlonzo.Code.Algebra.Structures
C_IsSemiringWithoutAnnihilatingZero'46'constructor_33703MAlonzo.Code.Algebra.Structures
C_IsSemiringWithoutOne'46'constructor_27777MAlonzo.Code.Algebra.Structures
C_IsStrictPartialOrder'46'constructor_13145MAlonzo.Code.Relation.Binary.Structures
C_IsStrictTotalOrder'46'constructor_23999MAlonzo.Code.Relation.Binary.Structures
C_isStrict_100MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
C_IsSurjection'46'constructor_6577MAlonzo.Code.Function.Structures
C_isterm_778MAlonzo.Code.VerifiedCompilation.UntypedViews
C_IsTotalOrder'46'constructor_19815MAlonzo.Code.Relation.Binary.Structures
C_IsTotalPreorder'46'constructor_7939MAlonzo.Code.Relation.Binary.Structures
C_istranslation_28MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_isvar_20MAlonzo.Code.VerifiedCompilation.UntypedViews
C_JoinSemilattice'46'constructor_7027MAlonzo.Code.Relation.Binary.Lattice
C_jsonError_22MAlonzo.Code.Evaluator.Base
C_just_16MAlonzo.Code.Agda.Builtin.Maybe
C_just_30 
1 (Data Constructor)MAlonzo.Code.Data.Maybe.Relation.Unary.Any
2 (Data Constructor)MAlonzo.Code.Data.Maybe.Relation.Unary.All
C_K'9839'_48MAlonzo.Code.Algorithmic
C_keccak'45'256_146MAlonzo.Code.Builtin
C_kindMismatch_18MAlonzo.Code.Check
C_lam_190MAlonzo.Code.Agda.Builtin.Reflection
C_lam_26MAlonzo.Code.Function.Related
C_lam_50MAlonzo.Code.Function.Related
C_lastdelay_118MAlonzo.Code.VerifiedCompilation.UForceDelay
C_Lattice'46'constructor_19309MAlonzo.Code.Algebra.Bundles
C_Lattice'46'constructor_30305MAlonzo.Code.Relation.Binary.Lattice
C_leaf_178MAlonzo.Code.Data.Tree.AVL.Indexed
C_left'45'assoc_16MAlonzo.Code.Agda.Builtin.Reflection
C_left'45'inverse_158MAlonzo.Code.Function.Related
C_left'45'inverse_186MAlonzo.Code.Function.Related
C_left'45'inverse_210MAlonzo.Code.Function.Related
C_left'45'inverse_64MAlonzo.Code.Function.Related
C_LeftInverse'46'constructor_17795MAlonzo.Code.Function.Bundles
C_LeftInverse'46'constructor_4555MAlonzo.Code.Function.LeftInverse
C_Left_142MAlonzo.Code.Data.String.Base
C_left_442MAlonzo.Code.Induction.WellFounded
C_lengthOfByteString_30MAlonzo.Code.Builtin
C_less'45'than'45'or'45'equal_202MAlonzo.Code.Data.Nat.Base
C_lessThanByteString_36MAlonzo.Code.Builtin
C_lessThanEqualsByteString_38MAlonzo.Code.Builtin
C_lessThanEqualsInteger_22MAlonzo.Code.Builtin
C_lessThanInteger_20MAlonzo.Code.Builtin
C_less_258MAlonzo.Code.Data.Nat.Base
C_less_512MAlonzo.Code.Data.Fin.Base
C_lift_20MAlonzo.Code.Level
C_linearCostIn_16MAlonzo.Code.Cost.Model
C_LinearInMaxYZ_128MAlonzo.Code.Cost.Raw
C_LinearInX_120MAlonzo.Code.Cost.Raw
C_LinearInYAndZ_130MAlonzo.Code.Cost.Raw
C_LinearInY_122MAlonzo.Code.Cost.Raw
C_LinearInZ_124MAlonzo.Code.Cost.Raw
C_ListDATA_456MAlonzo.Code.Utils
C_listData_86MAlonzo.Code.Builtin
C_list_10MAlonzo.Code.Builtin.Constant.Type
C_list_16MAlonzo.Code.Builtin.Signature
C_list_26MAlonzo.Code.Raw
C_list_50MAlonzo.Code.RawU
C_literalCostIn_28MAlonzo.Code.Cost.Model
C_LiteralInYOrLinearInZ_126MAlonzo.Code.Cost.Raw
C_lit_210MAlonzo.Code.Agda.Builtin.Reflection
C_lit_224MAlonzo.Code.Agda.Builtin.Reflection
C_lit_256MAlonzo.Code.Agda.Builtin.Reflection
C_MachineParameters'46'constructor_623MAlonzo.Code.Cost.Base
C_Magma'46'constructor_581MAlonzo.Code.Algebra.Bundles
C_MapDATA_454MAlonzo.Code.Utils
C_mapData_84MAlonzo.Code.Builtin
C_MaxOperator'46'constructor_1521MAlonzo.Code.Algebra.Construct.NaturalChoice.Base
C_MaxSize_118MAlonzo.Code.Cost.Raw
C_maxSize_44MAlonzo.Code.Cost.Model
C_MeetSemilattice'46'constructor_18685MAlonzo.Code.Relation.Binary.Lattice
C_meta_152MAlonzo.Code.Agda.Builtin.Reflection
C_meta_214MAlonzo.Code.Agda.Builtin.Reflection
C_Metric'46'constructor_6373MAlonzo.Code.Function.Metric.Nat.Bundles
C_MinOperator'46'constructor_983MAlonzo.Code.Algebra.Construct.NaturalChoice.Base
C_MinSize_116MAlonzo.Code.Cost.Raw
C_minSize_40MAlonzo.Code.Cost.Model
C_mkCons_72MAlonzo.Code.Builtin
C_mkCpuAndMemoryModel_156MAlonzo.Code.Cost.Raw
C_mkExBudget_60MAlonzo.Code.Cost
C_mkLinearFunction_42MAlonzo.Code.Cost.Raw
C_mkNilData_108MAlonzo.Code.Builtin
C_mkNilPairData_110MAlonzo.Code.Builtin
C_mkOneVariableQuadraticFunction_58MAlonzo.Code.Cost.Raw
C_mkPairData_106MAlonzo.Code.Builtin
C_mkTwoVariableLinearFunction_74MAlonzo.Code.Cost.Raw
C_mkTwoVariableQuadraticFunction_106MAlonzo.Code.Cost.Raw
C_MkValue_50MAlonzo.Code.Data.Tree.AVL.Value
C_modality_74MAlonzo.Code.Agda.Builtin.Reflection
C_modInteger_16MAlonzo.Code.Builtin
C_Monad'46'constructor_12563MAlonzo.Code.Utils
C_Monoid'46'constructor_8851MAlonzo.Code.Algebra.Bundles
C_Morphism'46'constructor_18561MAlonzo.Code.Category.Applicative.Indexed
C_Morphism'46'constructor_3287MAlonzo.Code.Category.Functor
C_multiabstractfd_142MAlonzo.Code.VerifiedCompilation.UForceDelay
C_multiappliedfd_132MAlonzo.Code.VerifiedCompilation.UForceDelay
C_MultipliedSizes_114MAlonzo.Code.Cost.Raw
C_multipliedSizes_36MAlonzo.Code.Cost.Model
C_multiplyInteger_8MAlonzo.Code.Builtin
C_nameErr_314MAlonzo.Code.Agda.Builtin.Reflection
C_name_148MAlonzo.Code.Agda.Builtin.Reflection
C_nat_128MAlonzo.Code.Agda.Builtin.Reflection
C_NearSemiring'46'constructor_23249MAlonzo.Code.Algebra.Bundles
C_negsuc_14MAlonzo.Code.Agda.Builtin.Int
C_next_74MAlonzo.Code.Data.List.Relation.Binary.Lex.Core
C_ne_20MAlonzo.Code.Type.BetaNormal
C_nil'10216''91''8801''93''10217'β_62MAlonzo.Code.Type.Equality
C_nil'91''8801''93'β_50MAlonzo.Code.Type.Equality
C_node_194MAlonzo.Code.Data.Tree.AVL.Indexed
C_non'45'assoc_20MAlonzo.Code.Agda.Builtin.Reflection
C_nonEmpty_336MAlonzo.Code.Relation.Binary.Definitions
C_nonstrict_64MAlonzo.Code.Relation.Binary.Reasoning.Base.Double
C_nonstrict_82MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
C_notFunKind_26MAlonzo.Code.Check
C_notFunType_66MAlonzo.Code.Check
C_nothing_18MAlonzo.Code.Agda.Builtin.Maybe
C_nothing_32MAlonzo.Code.Data.Maybe.Relation.Unary.All
C_notMu_56MAlonzo.Code.Check
C_notPat_32MAlonzo.Code.Check
C_notPi_44MAlonzo.Code.Check
C_notSOP_76MAlonzo.Code.Check
C_nullList_78MAlonzo.Code.Builtin
C_of'696'_22MAlonzo.Code.Relation.Nullary
C_of'8319'_26MAlonzo.Code.Relation.Nullary
C_orByteString_156MAlonzo.Code.Builtin
C_out'45'of'45'gas_22MAlonzo.Code.Algorithmic.Evaluation
C_pair_12MAlonzo.Code.Builtin.Constant.Type
C_pair_20MAlonzo.Code.Builtin.Signature
C_pair_28MAlonzo.Code.Raw
C_pair_46MAlonzo.Code.RawU
C_parseError_16MAlonzo.Code.Evaluator.Base
C_PartialSetoid'46'constructor_133MAlonzo.Code.Relation.Binary.Bundles
C_pat'45'lam_196MAlonzo.Code.Agda.Builtin.Reflection
C_pattErr_312MAlonzo.Code.Agda.Builtin.Reflection
C_pdata_40MAlonzo.Code.RawU
C_pi_202MAlonzo.Code.Agda.Builtin.Reflection
C_Poset'46'constructor_5219MAlonzo.Code.Relation.Binary.Bundles
C_pos_10MAlonzo.Code.Agda.Builtin.Int
C_PreMetric'46'constructor_1523MAlonzo.Code.Function.Metric.Nat.Bundles
C_Preorder'46'constructor_2269MAlonzo.Code.Relation.Binary.Bundles
C_prim'45'fun_304MAlonzo.Code.Agda.Builtin.Reflection
C_PrintfSpec'46'constructor_113MAlonzo.Code.Text.Printf.Generic
C_proj_260MAlonzo.Code.Agda.Builtin.Reflection
C_propLit_232MAlonzo.Code.Agda.Builtin.Reflection
C_prop_228MAlonzo.Code.Agda.Builtin.Reflection
C_ProtoMetric'46'constructor_193MAlonzo.Code.Function.Metric.Nat.Bundles
C_pushfd_28MAlonzo.Code.VerifiedCompilation.UForceDelay
C_quadraticCostIn1_20MAlonzo.Code.Cost.Model
C_quadraticCostIn2_24MAlonzo.Code.Cost.Model
C_QuadraticInXAndY_136MAlonzo.Code.Cost.Raw
C_QuadraticInY_132MAlonzo.Code.Cost.Raw
C_QuadraticInZ_134MAlonzo.Code.Cost.Raw
C_quantity'45'0_64MAlonzo.Code.Agda.Builtin.Reflection
C_quantity'45'ω_66MAlonzo.Code.Agda.Builtin.Reflection
C_QuasiSemiMetric'46'constructor_3043MAlonzo.Code.Function.Metric.Nat.Bundles
C_quotientInteger_12MAlonzo.Code.Builtin
C_RawComonad'46'constructor_293MAlonzo.Code.Category.Comonad
C_RawFunctor'46'constructor_241MAlonzo.Code.Category.Functor
C_RawGroup'46'constructor_13903MAlonzo.Code.Algebra.Bundles
C_RawIAlternative'46'constructor_12491MAlonzo.Code.Category.Applicative.Indexed
C_RawIApplicative'46'constructor_815MAlonzo.Code.Category.Applicative.Indexed
C_RawIApplicativeZero'46'constructor_10911MAlonzo.Code.Category.Applicative.Indexed
C_RawIMonad'46'constructor_711MAlonzo.Code.Category.Monad.Indexed
C_RawIMonadPlus'46'constructor_12775MAlonzo.Code.Category.Monad.Indexed
C_RawIMonadZero'46'constructor_10609MAlonzo.Code.Category.Monad.Indexed
C_RawLattice'46'constructor_18647MAlonzo.Code.Algebra.Bundles
C_RawMagma'46'constructor_79MAlonzo.Code.Algebra.Bundles
C_RawMonoid'46'constructor_8313MAlonzo.Code.Algebra.Bundles
C_RawNearSemiring'46'constructor_22495MAlonzo.Code.Algebra.Bundles
C_RawRing'46'constructor_42493MAlonzo.Code.Algebra.Bundles
C_RawSemiring'46'constructor_30035MAlonzo.Code.Algebra.Bundles
C_Raw_64MAlonzo.Code.Text.Format.Generic
C_readBit_162MAlonzo.Code.Builtin
C_record'45'type_296MAlonzo.Code.Agda.Builtin.Reflection
C_refl'8212''8608'_786MAlonzo.Code.Algorithmic.ReductionEC
C_refl'8801'β_14MAlonzo.Code.Type.Equality
C_refl_20MAlonzo.Code.Agda.Builtin.Equality
C_refl_28MAlonzo.Code.Relation.Binary.HeterogeneousEquality.Core
C_refl_36MAlonzo.Code.Relation.Binary.Construct.Closure.Reflexive
C_related_24MAlonzo.Code.Agda.Builtin.Reflection
C_relevant_58MAlonzo.Code.Agda.Builtin.Reflection
C_relTo_34MAlonzo.Code.Relation.Binary.Reasoning.Base.Single
C_remainderInteger_14MAlonzo.Code.Builtin
C_replicateByte_166MAlonzo.Code.Builtin
C_result_826MAlonzo.Code.Data.Nat.DivMod
C_reverse'45'implication_180MAlonzo.Code.Function.Related
C_reverse'45'implication_56MAlonzo.Code.Function.Related
C_reverse'45'injection_184MAlonzo.Code.Function.Related
C_reverse'45'injection_62MAlonzo.Code.Function.Related
C_right'45'assoc_18MAlonzo.Code.Agda.Builtin.Reflection
C_RightInverse'46'constructor_21353MAlonzo.Code.Function.Bundles
C_Right_146MAlonzo.Code.Data.String.Base
C_right_452MAlonzo.Code.Induction.WellFounded
C_Ring'46'constructor_43513MAlonzo.Code.Algebra.Bundles
C_ripemd'45'160_176MAlonzo.Code.Builtin
C_rotateByteString_170MAlonzo.Code.Builtin
C_ruleEC_766MAlonzo.Code.Algorithmic.ReductionEC
C_ruleErr_776MAlonzo.Code.Algorithmic.ReductionEC
C_runtimeError_20MAlonzo.Code.Evaluator.Base
C_runtimeTypeError_354MAlonzo.Code.Utils
C_s'8804's_30MAlonzo.Code.Data.Nat.Base
C_scopeError_18MAlonzo.Code.Evaluator.Base
C_SelectiveMagma'46'constructor_1577MAlonzo.Code.Algebra.Bundles
C_Semigroup'46'constructor_3669MAlonzo.Code.Algebra.Bundles
C_Semilattice'46'constructor_7205MAlonzo.Code.Algebra.Bundles
C_SemiMetric'46'constructor_4673MAlonzo.Code.Function.Metric.Nat.Bundles
C_Semiring'46'constructor_33613MAlonzo.Code.Algebra.Bundles
C_SemiringWithoutAnnihilatingZero'46'constructor_30907MAlonzo.Code.Algebra.Bundles
C_SemiringWithoutOne'46'constructor_25531MAlonzo.Code.Algebra.Bundles
C_serialiseData_104MAlonzo.Code.Builtin
C_Setoid'46'constructor_727MAlonzo.Code.Relation.Binary.Bundles
C_set_220MAlonzo.Code.Agda.Builtin.Reflection
C_sha2'45'256_40MAlonzo.Code.Builtin
C_sha3'45'256_42MAlonzo.Code.Builtin
C_shiftByteString_168MAlonzo.Code.Builtin
C_sig_86MAlonzo.Code.Builtin.Signature
C_Silent_40MAlonzo.Code.Evaluator.Program
C_sliceByteString_28MAlonzo.Code.Builtin
C_sndPair_68MAlonzo.Code.Builtin
C_SOP'8801'β_42MAlonzo.Code.Type.Equality
C_SOP_22MAlonzo.Code.Raw
C_SOP_28MAlonzo.Code.Type.BetaNormal
C_SOP_34MAlonzo.Code.Scoped
C_SOP_40MAlonzo.Code.Type
C_start_1120MAlonzo.Code.Utils.List
C_start_124MAlonzo.Code.Utils
C_start_690MAlonzo.Code.Utils.List
C_step'8902'_130MAlonzo.Code.Algorithmic.ReductionEC
C_steps_38MAlonzo.Code.Algorithmic.Evaluation
C_step_100MAlonzo.Code.Algorithmic.ReductionEC
C_step_18MAlonzo.Code.Algorithmic.ReductionEC.Progress
C_step_80MAlonzo.Code.Algorithmic.ReductionEC.Progress
C_strErr_308MAlonzo.Code.Agda.Builtin.Reflection
C_StrictPartialOrder'46'constructor_8957MAlonzo.Code.Relation.Binary.Bundles
C_StrictTotalOrder'46'constructor_16739MAlonzo.Code.Relation.Binary.Bundles
C_strict_78MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
C_StringArg_14MAlonzo.Code.Text.Format
C_string_144MAlonzo.Code.Agda.Builtin.Reflection
C_string_34MAlonzo.Code.RawU
C_SubtractedSizes_138MAlonzo.Code.Cost.Raw
C_subtractInteger_6MAlonzo.Code.Builtin
C_suc_12MAlonzo.Code.Agda.Builtin.Nat
C_suc_16MAlonzo.Code.Data.Fin.Base
C_sucΠ_320MAlonzo.Code.Builtin.Signature
C_Surjection'46'constructor_10327MAlonzo.Code.Function.Bundles
C_Surjection'46'constructor_2369MAlonzo.Code.Function.Surjection
C_surjection_160MAlonzo.Code.Function.Related
C_surjection_188MAlonzo.Code.Function.Related
C_surjection_212MAlonzo.Code.Function.Related
C_surjection_66MAlonzo.Code.Function.Related
C_Surjective'46'constructor_1229MAlonzo.Code.Function.Surjection
C_sym'8801'β_16MAlonzo.Code.Type.Equality
C_S_18MAlonzo.Code.Type
C_S_30MAlonzo.Code.Algorithmic
C_S_38MAlonzo.Code.Declarative
C_S_48MAlonzo.Code.Scoped
C_S_68MAlonzo.Code.Scoped
C_tagCon_62MAlonzo.Code.RawU
C_tailList_76MAlonzo.Code.Builtin
C_Tallying_44MAlonzo.Code.Evaluator.Program
C_TCEK_54MAlonzo.Code.Evaluator.Program
C_TCK_52MAlonzo.Code.Evaluator.Program
C_TCOpts_32MAlonzo.Code.Main
C_termErr_310MAlonzo.Code.Agda.Builtin.Reflection
C_that_50MAlonzo.Code.Data.These.Base
C_there_104MAlonzo.Code.Data.List.Relation.Unary.All
C_there_54MAlonzo.Code.Data.List.Relation.Unary.Any
C_there_68MAlonzo.Code.Data.Vec.Base
C_these_52MAlonzo.Code.Data.These.Base
C_this_48MAlonzo.Code.Data.These.Base
C_this_60MAlonzo.Code.Data.List.Relation.Binary.Lex.Core
C_TL_50MAlonzo.Code.Evaluator.Program
C_tmCon_202MAlonzo.Code.RawU
C_TooFewCases_88MAlonzo.Code.Check
C_TooFewConstrArgs_86MAlonzo.Code.Check
C_TooManyCases_90MAlonzo.Code.Check
C_TooManyConstrArgs_84MAlonzo.Code.Check
C_TotalOrder'46'constructor_12489MAlonzo.Code.Relation.Binary.Bundles
C_TotalPreorder'46'constructor_3669MAlonzo.Code.Relation.Binary.Bundles
C_tp_814MAlonzo.Code.VerifiedCompilation.UntypedViews
C_trace_64MAlonzo.Code.Builtin
C_trans'8212''8608'_796MAlonzo.Code.Algorithmic.ReductionEC
C_trans'8801'β_18MAlonzo.Code.Type.Equality
C_translationfd_42MAlonzo.Code.VerifiedCompilation.UForceDelay
C_trans_360MAlonzo.Code.Induction.WellFounded
C_tree_248MAlonzo.Code.Data.Tree.AVL
C_tri'60'_150MAlonzo.Code.Relation.Binary.Definitions
C_tri'62'_166MAlonzo.Code.Relation.Binary.Definitions
C_tri'8776'_158MAlonzo.Code.Relation.Binary.Definitions
C_true_10MAlonzo.Code.Agda.Builtin.Bool
C_tt_8MAlonzo.Code.Agda.Builtin.Unit
C_twoArgumentsConstAboveDiagonal_48MAlonzo.Code.Cost.Model
C_twoArgumentsConstBelowDiagonal_50MAlonzo.Code.Cost.Model
C_twoArgumentsConstOffDiagonal_52MAlonzo.Code.Cost.Model
C_twoArgumentsLinearInMaxYZ_56MAlonzo.Code.Cost.Model
C_twoArgumentsLinearInYAndZ_54MAlonzo.Code.Cost.Model
C_twoArgumentsSubtractedSizes_46MAlonzo.Code.Cost.Model
C_Typecheck_42MAlonzo.Code.Main
C_typeError_14MAlonzo.Code.Evaluator.Base
C_typeMismatch_100MAlonzo.Code.Check
C_T_38MAlonzo.Code.Algorithmic
C_T_40MAlonzo.Code.Declarative
C_T_52MAlonzo.Code.Scoped
C_T_74MAlonzo.Code.Scoped
C_UApp_152MAlonzo.Code.RawU
C_UBuiltin_158MAlonzo.Code.RawU
C_UCase_166MAlonzo.Code.RawU
C_UConstr_164MAlonzo.Code.RawU
C_UCon_154MAlonzo.Code.RawU
C_UDelay_160MAlonzo.Code.RawU
C_UError_156MAlonzo.Code.RawU
C_UForce_162MAlonzo.Code.RawU
C_ULambda_150MAlonzo.Code.RawU
C_UltraMetric'46'constructor_7973MAlonzo.Code.Function.Metric.Nat.Bundles
C_unBData_100MAlonzo.Code.Builtin
C_unConstrData_92MAlonzo.Code.Builtin
C_UnexpectedEndOfString_84MAlonzo.Code.Text.Format.Generic
C_unIData_98MAlonzo.Code.Builtin
C_Unimplemented_104MAlonzo.Code.Check
C_unit_38MAlonzo.Code.RawU
C_UnknownType_34MAlonzo.Code.Check
C_unknown_216MAlonzo.Code.Agda.Builtin.Reflection
C_unknown_238MAlonzo.Code.Agda.Builtin.Reflection
C_unListData_96MAlonzo.Code.Builtin
C_unMapData_94MAlonzo.Code.Builtin
C_unrelated_26MAlonzo.Code.Agda.Builtin.Reflection
C_unwrap'45'_1128MAlonzo.Code.Algorithmic.CEK
C_unwrap'45'_398MAlonzo.Code.Algorithmic.ReductionEC
C_unwrap_'47'__534MAlonzo.Code.Algorithmic.ReductionEC
C_unwrap_132MAlonzo.Code.Declarative
C_unwrap_220MAlonzo.Code.Algorithmic
C_unwrap_50MAlonzo.Code.Raw
C_unwrap_548MAlonzo.Code.Scoped
C_userError_352MAlonzo.Code.Utils
C_UVar_148MAlonzo.Code.RawU
C_U_48MAlonzo.Code.Evaluator.Program
C_V'45'constr_140MAlonzo.Code.Algorithmic.CEK
C_V'45'constr_234MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'constr_60MAlonzo.Code.Untyped.CEK
C_V'45'con_162MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'con_50MAlonzo.Code.Untyped.CEK
C_V'45'con_86MAlonzo.Code.Algorithmic.CEK
C_V'45'delay_54MAlonzo.Code.Untyped.CEK
C_V'45'I'8658'_106MAlonzo.Code.Algorithmic.CEK
C_V'45'I'8658'_184MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'I'8658'_74MAlonzo.Code.Untyped.CEK
C_V'45'IΠ_128MAlonzo.Code.Algorithmic.CEK
C_V'45'IΠ_208MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'IΠ_90MAlonzo.Code.Untyped.CEK
C_V'45'wrap_156MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'wrap_82MAlonzo.Code.Algorithmic.CEK
C_V'45'ƛ_138MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'ƛ_46MAlonzo.Code.Untyped.CEK
C_V'45'ƛ_64MAlonzo.Code.Algorithmic.CEK
C_V'45'Λ_146MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'Λ_74MAlonzo.Code.Algorithmic.CEK
C_var_172MAlonzo.Code.Agda.Builtin.Reflection
C_var_252MAlonzo.Code.Agda.Builtin.Reflection
C_var_32MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_verifyEcdsaSecp256k1Signature_48MAlonzo.Code.Builtin
C_verifyEd25519Signature_46MAlonzo.Code.Builtin
C_verifySchnorrSecp256k1Signature_50MAlonzo.Code.Builtin
C_visible_50MAlonzo.Code.Agda.Builtin.Reflection
C_word64_132MAlonzo.Code.Agda.Builtin.Reflection
C_wrap'45'_1120MAlonzo.Code.Algorithmic.CEK
C_wrap'45'_390MAlonzo.Code.Algorithmic.ReductionEC
C_wrap_130MAlonzo.Code.Declarative
C_wrap_210MAlonzo.Code.Algorithmic
C_wrap_48MAlonzo.Code.Raw
C_wrap_522MAlonzo.Code.Algorithmic.ReductionEC
C_wrap_546MAlonzo.Code.Scoped
C_writeBits_164MAlonzo.Code.Builtin
C_xorByteString_158MAlonzo.Code.Builtin
C_z'8804'n_22MAlonzo.Code.Data.Nat.Base
C_zero_10MAlonzo.Code.Data.Fin.Base
C_zero_8MAlonzo.Code.Agda.Builtin.Nat
C_Z_16MAlonzo.Code.Type
C_Z_22MAlonzo.Code.Algorithmic
C_Z_36MAlonzo.Code.Declarative
C_Z_44MAlonzo.Code.Scoped
C_Z_62MAlonzo.Code.Scoped
C__'10814'__36MAlonzo.Code.VerifiedCompilation.UForceDelay
C__'183''45'_1104MAlonzo.Code.Algorithmic.CEK
C__'183''45'_204MAlonzo.Code.Untyped.CEK
C__'183''45'_374MAlonzo.Code.Algorithmic.ReductionEC
C__'183''8902'_'47'__202MAlonzo.Code.Algorithmic
C__'183''8902'_'47'__512MAlonzo.Code.Algorithmic.ReductionEC
C__'183''8902'__124MAlonzo.Code.Declarative
C__'183''8902'__36MAlonzo.Code.Raw
C__'183''8902'__532MAlonzo.Code.Scoped
C__'183'r__500MAlonzo.Code.Algorithmic.ReductionEC
C__'183'__10MAlonzo.Code.Type.BetaNormal
C__'183'__118MAlonzo.Code.Declarative
C__'183'__14MAlonzo.Code.Raw
C__'183'__186MAlonzo.Code.Algorithmic
C__'183'__22MAlonzo.Code.Untyped
C__'183'__26MAlonzo.Code.Scoped
C__'183'__30MAlonzo.Code.Type
C__'183'__40MAlonzo.Code.Raw
C__'183'__536MAlonzo.Code.Scoped
C__'36''36'__190MAlonzo.Code.Algorithmic.CEK
C__'36'__162MAlonzo.Code.Algorithmic.CEK
C__'44''8902'__22MAlonzo.Code.Declarative
C__'44''8902'__6MAlonzo.Code.Type
C__'44''8902'__8MAlonzo.Code.Algorithmic
C__'44'__1176MAlonzo.Code.Algorithmic.CEK
C__'44'__12 
1 (Data Constructor)MAlonzo.Code.Algorithmic
2 (Data Constructor)MAlonzo.Code.Untyped.CEK
C__'44'__140MAlonzo.Code.Data.Vec.Bounded.Base
C__'44'__26MAlonzo.Code.Declarative
C__'44'__30MAlonzo.Code.Algorithmic.CK
C__'44'__318MAlonzo.Code.Utils
C__'44'__32MAlonzo.Code.Agda.Builtin.Sigma
C__'44'__378MAlonzo.Code.Utils
C__'44'__70MAlonzo.Code.Data.Tree.AVL.Value
C__'58''60'__12MAlonzo.Code.Utils.List
C__'58''60'__408MAlonzo.Code.Utils.List
C__'58''60'__850MAlonzo.Code.Utils.List
C__'8593'_34MAlonzo.Code.Builtin.Signature
C__'8658'__16MAlonzo.Code.Type.BetaNormal
C__'8658'__20MAlonzo.Code.Scoped
C__'8658'__26MAlonzo.Code.Type
C__'8658'__482MAlonzo.Code.Utils
C__'8658'__8MAlonzo.Code.Raw
C__'8759''691''8242'__282MAlonzo.Code.Data.List.NonEmpty.Base
C__'8759''691''8242'__838MAlonzo.Code.Data.List.Base
C__'8759'__192MAlonzo.Code.Declarative
C__'8759'__208MAlonzo.Code.Algorithmic.CEK
C__'8759'__22 
1 (Data Constructor)MAlonzo.Code.Agda.Builtin.List
2 (Data Constructor)MAlonzo.Code.Untyped.CEK
C__'8759'__28MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core
C__'8759'__280MAlonzo.Code.Algorithmic
C__'8759'__314MAlonzo.Code.Utils.List
C__'8759'__36 
1 (Data Constructor)MAlonzo.Code.Data.Vec.Base
2 (Data Constructor)MAlonzo.Code.Data.List.NonEmpty.Base
C__'8759'__388MAlonzo.Code.Utils
C__'8759'__60MAlonzo.Code.Data.List.Relation.Unary.All
C__'8759'__62MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base
C__'8759'__820MAlonzo.Code.Utils.List
C__'8771'_'46'constructor_923MAlonzo.Code.Function.HalfAdjointEquivalence
C__'8804''8868''8314'_30MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.NonStrict
C__'8804'_'46'constructor_1MAlonzo.Code.Data.Unit.Base
C__'8827'toℕ__500MAlonzo.Code.Data.Fin.Base
C__'894'_'9659'__1188MAlonzo.Code.Algorithmic.CEK
C__'894'_'9659'__222MAlonzo.Code.Untyped.CEK
C__'9659'__40MAlonzo.Code.Algorithmic.CK
C__'9666'__208MAlonzo.Code.Data.Integer.Base
C__'9669'__1192MAlonzo.Code.Algorithmic.CEK
C__'9669'__224MAlonzo.Code.Untyped.CEK
C__'9669'__46MAlonzo.Code.Algorithmic.CK
C__B'8658'__296MAlonzo.Code.Builtin.Signature
C__because__46MAlonzo.Code.Relation.Nullary
C__InverseOf_'46'constructor_2103MAlonzo.Code.Function.Inverse
C__l'183'__490MAlonzo.Code.Algorithmic.ReductionEC
C_ƛ'8801'β_24MAlonzo.Code.Type.Equality
C_ƛ_116MAlonzo.Code.Declarative
C_ƛ_12MAlonzo.Code.Raw
C_ƛ_18MAlonzo.Code.Type.BetaNormal
C_ƛ_180MAlonzo.Code.Algorithmic
C_ƛ_20MAlonzo.Code.Untyped
C_ƛ_24MAlonzo.Code.Scoped
C_ƛ_28MAlonzo.Code.Type
C_ƛ_38 
1 (Data Constructor)MAlonzo.Code.Raw
2 (Data Constructor)MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_ƛ_534MAlonzo.Code.Scoped
C_β'45'builtin_720MAlonzo.Code.Algorithmic.ReductionEC
C_β'45'case_746MAlonzo.Code.Algorithmic.ReductionEC
C_β'45'wrap_694MAlonzo.Code.Algorithmic.ReductionEC
C_β'45'ƛ_662MAlonzo.Code.Algorithmic.ReductionEC
C_β'45'Λ_678MAlonzo.Code.Algorithmic.ReductionEC
C_β'8801'β_48MAlonzo.Code.Type.Equality
C_ε_10MAlonzo.Code.Untyped.CEK
C_ε_1170MAlonzo.Code.Algorithmic.CEK
C_ε_22MAlonzo.Code.Algorithmic.CK
C_Λ_120MAlonzo.Code.Declarative
C_Λ_192MAlonzo.Code.Algorithmic
C_Λ_34MAlonzo.Code.Raw
C_Λ_530MAlonzo.Code.Scoped
C_μ'8801'β_28MAlonzo.Code.Type.Equality
C_μ_18MAlonzo.Code.Raw
C_μ_24MAlonzo.Code.Type.BetaNormal
C_μ_32 
1 (Data Constructor)MAlonzo.Code.Type
2 (Data Constructor)MAlonzo.Code.Scoped
C_Π'46'constructor_1171MAlonzo.Code.Function.Equality
C_Π'8801'β_22MAlonzo.Code.Type.Equality
C_Π_10MAlonzo.Code.Raw
C_Π_14MAlonzo.Code.Type.BetaNormal
C_Π_22MAlonzo.Code.Scoped
C_Π_24MAlonzo.Code.Type
C_ℕArg_6MAlonzo.Code.Text.Format
C_ℤArg_8MAlonzo.Code.Text.Format