Combined Plutus 1.61.0.0 Documentation

Index - C

CPlutusCore.Flat.Class, PlutusCore.Flat.Instances.Util, PlutusCore.Flat
C1PlutusCore.Flat.Class, PlutusCore.Flat.Instances.Util, PlutusCore.Flat
cachedBuiltinPlutusCore.Parser.Builtin, PlutusCore.Parser
callSiteInlinePlutusIR.Transform.Inline.CallSiteInline
callsiteInlineTransform.Simplify.Spec
CannotParseValuePlutusTx.Options
Case 
1 (Type/Class)PlutusTx.Compiler.Types, PlutusCore.Annotation
2 (Data Constructor)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
3 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
4 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
CaseBuiltinPlutusCore.Builtin.Case, PlutusCore.Builtin
caseBuiltinPlutusCore.Builtin.Case, PlutusCore.Builtin
caseIntegerPlutusTx.Builtins.Internal, PlutusTx.Builtins
caseList 
1 (Function)PlutusTx.Builtins
2 (Function)PlutusTx.Data.List
3 (Function)PlutusTx.BuiltinList
caseList' 
1 (Function)PlutusTx.Builtins.Internal, PlutusTx.Builtins
2 (Function)PlutusTx.Data.List
3 (Function)PlutusTx.BuiltinList
CaseOfCaseUntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore.Simplify, UntypedPlutusCore
caseOfCase 
1 (Function)PlutusIR.Transform.CaseOfCase
2 (Function)UntypedPlutusCore.Transform.CaseOfCase
caseOfCase1 
1 (Function)Transform.CaseOfCase.Spec
2 (Function)Transform.Simplify.Spec
caseOfCase2 
1 (Function)Transform.CaseOfCase.Spec
2 (Function)Transform.Simplify.Spec
caseOfCase3 
1 (Function)Transform.CaseOfCase.Spec
2 (Function)Transform.Simplify.Spec
caseOfCasePassPlutusIR.Transform.CaseOfCase
caseOfCasePassSCPlutusIR.Transform.CaseOfCase
caseOfCaseWithErrorTransform.CaseOfCase.Spec
casePairPlutusTx.Builtins.Internal, PlutusTx.Builtins
CaserBuiltin 
1 (Type/Class)PlutusCore.Builtin.Case, PlutusCore.Builtin
2 (Data Constructor)PlutusCore.Builtin.Case, PlutusCore.Builtin
CaseReduceUntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore.Simplify, UntypedPlutusCore
caseReduce 
1 (Function)PlutusIR.Transform.CaseReduce
2 (Function)UntypedPlutusCore.Transform.CaseReduce
caseReducePassPlutusIR.Transform.CaseReduce
case_Transform.Inline.Spec
castPlutusCore.Flat.Data.FloatCast
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)PlutusTx.Compiler.Types
2 (Function)PlutusIR.Compiler.Types, PlutusIR.Compiler
ccBuiltinsInfo 
1 (Function)PlutusTx.Compiler.Types
2 (Function)PlutusIR.Compiler.Types, PlutusIR.Compiler
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)PlutusTx.Compiler.Types
2 (Function)PlutusIR.Compiler.Types, PlutusIR.Compiler
ccRewriteRules 
1 (Function)PlutusTx.Compiler.Types
2 (Function)PlutusIR.Compiler.Types
ccSafeToInlinePlutusTx.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
CekCaseBuiltinErrorUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
cekCaseCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekCaseCost'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
CekCaseCost'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
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'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
CekConstrCost'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
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
CekError 
1 (Data Constructor)PlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Data Constructor)Evaluation.Builtins.Common
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
CekFailureUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
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
cekMachineCostsFileDPlutusCore.DataFilePaths
cekMachineCostsFileEPlutusCore.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
CekReport 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekResultUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
cekResultMatchesHaskellValuePlutusTx.Test.Util.Compiled
cekResultToEitherUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
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
CekSuccessEvaluation.Builtins.Common
CekSuccessConstantUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
cekSuccessFalseEvaluation.Builtins.Common
CekSuccessNonConstantUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
cekSuccessTrueEvaluation.Builtins.Common
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.Data.Tx, PlutusLedgerApi.V2.Data.Tx
2 (Data Constructor)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx
CertBasicPlutusCore.Executable.Types, PlutusCore.Executable.Common
CertifierPlutusCore.Executable.Types, PlutusCore.Executable.Common
certifierPlutusCore.Executable.Parsers
CertifierErrorCertifier
CertifierOutputCertifier
CertifierOutputModePlutusCore.Executable.Types, PlutusCore.Executable.Common
certifierOutputModePlutusCore.Executable.Parsers
Certifying 
1 (Data Constructor)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
3 (Data Constructor)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
4 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
CertifyingScript 
1 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
CertNameCertifier
CertProjectPlutusCore.Executable.Types, PlutusCore.Executable.Common
CertReportPlutusCore.Executable.Types, PlutusCore.Executable.Common
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
ChangedParams 
1 (Type/Class)Cardano.Constitution.Validator.Data.Common, Cardano.Constitution.Data.Validator
2 (Type/Class)Cardano.Constitution.Validator.Common, Cardano.Constitution.Validator
changPVPlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common
CheckPlutusCore.Generators.NEAT.Term
check 
1 (Function)PlutusTx.Prelude
2 (Function)PlutusCore.Generators.NEAT.Term
checkBiConditionPlutusIR.Pass
checkConditionPlutusIR.Pass
checkEmptyOnPlutusCore.Check.Scoping
checkEqualsViaEvaluation.Builtins.Costing
checkEvaluationEventPlutusLedgerApi.Test.EvaluationEvent
checkFailsPlutusCore.Test
checkHasFailedErrorPlutusTx.ErrorCodes
checkIOPlutusTx.Plugin.Unsupported
checkKind 
1 (Function)PlutusCore.Generators.QuickCheck.Common, PlutusCore.Generators.QuickCheck
2 (Function)PlutusCore.TypeCheck, PlutusCore
checkKindAgdaMAlonzo.Code.Evaluator.Term
checkKindMPlutusCore.TypeCheck.Internal
checkProgram 
1 (Function)PlutusIR.Check.Uniques
2 (Function)PlutusCore.Check.Uniques
3 (Function)PlutusCore.Check.Normal
4 (Function)UntypedPlutusCore.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)PlutusIR.Check.Uniques
2 (Function)PlutusCore.Check.Uniques
3 (Function)PlutusCore.Check.Normal
4 (Function)UntypedPlutusCore.Check.Uniques
checkType 
1 (Function)PlutusIR.TypeCheck
2 (Function)PlutusCore.TypeCheck, PlutusCore
checkTypeAgdaMAlonzo.Code.Evaluator.Term
checkTypeM 
1 (Function)PlutusIR.TypeCheck.Internal
2 (Function)PlutusCore.TypeCheck.Internal
checkTypeOfProgram 
1 (Function)PlutusIR.TypeCheck
2 (Function)PlutusCore.TypeCheck, PlutusCore
checkUnsupportedMethodPlutusTx.Plugin.Unsupported
check_'42'_770MAlonzo.Code.Utils
check_'91''93'_450MAlonzo.Code.Utils
check_'96'_34MAlonzo.Code.Raw
check_'96'_6MAlonzo.Code.Raw
check_'9839'_772MAlonzo.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_148MAlonzo.Code.Cost.Raw
check_addInteger_4MAlonzo.Code.Builtin
check_aInteger_8MAlonzo.Code.Builtin.Constant.AtomicType
check_andByteString_160MAlonzo.Code.Builtin
check_appendByteString_24MAlonzo.Code.Builtin
check_appendString_52MAlonzo.Code.Builtin
check_applyToCaseT_20MAlonzo.Code.VerifiedCompilation.Trace
check_array_28MAlonzo.Code.Raw
check_array_54MAlonzo.Code.RawU
check_aString_12MAlonzo.Code.Builtin.Constant.AtomicType
check_atomic_24MAlonzo.Code.Raw
check_aUnit_14MAlonzo.Code.Builtin.Constant.AtomicType
check_bDATA_620MAlonzo.Code.Utils
check_bData_96MAlonzo.Code.Builtin
check_blake2b'45'224_154MAlonzo.Code.Builtin
check_blake2b'45'256_44MAlonzo.Code.Builtin
check_bls12'45'381'45'finalVerify_150MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'add_118MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'compress_128MAlonzo.Code.Builtin
check_bls12'45'381'45'g1'45'element_56MAlonzo.Code.RawU
check_bls12'45'381'45'G1'45'equal_124MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'hashToGroup_126MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'multiScalarMul_188MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'neg_120MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'scalarMul_122MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'uncompress_130MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'add_132MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'compress_142MAlonzo.Code.Builtin
check_bls12'45'381'45'g2'45'element_58MAlonzo.Code.RawU
check_bls12'45'381'45'G2'45'equal_138MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'hashToGroup_140MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'multiScalarMul_190MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'neg_134MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'scalarMul_136MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'uncompress_144MAlonzo.Code.Builtin
check_bls12'45'381'45'millerLoop_146MAlonzo.Code.Builtin
check_bls12'45'381'45'mlresult_60MAlonzo.Code.RawU
check_bls12'45'381'45'mulMlResult_148MAlonzo.Code.Builtin
check_bool_36MAlonzo.Code.RawU
check_builtin_46MAlonzo.Code.VerifiedCompilation.Trace
check_builtin_48MAlonzo.Code.Raw
check_byteStringToInteger_156MAlonzo.Code.Builtin
check_bytestring_32MAlonzo.Code.RawU
check_caseOfCaseT_12MAlonzo.Code.VerifiedCompilation.Trace
check_caseReduceT_14MAlonzo.Code.VerifiedCompilation.Trace
check_case_52MAlonzo.Code.VerifiedCompilation.Trace
check_case_68MAlonzo.Code.Raw
check_chooseData_86MAlonzo.Code.Builtin
check_chooseList_70MAlonzo.Code.Builtin
check_chooseUnit_62MAlonzo.Code.Builtin
check_complementByteString_166MAlonzo.Code.Builtin
check_consByteString_26MAlonzo.Code.Builtin
check_ConstAboveDiagonal_184MAlonzo.Code.Cost.Raw
check_ConstantCost_146MAlonzo.Code.Cost.Raw
check_ConstBelowDiagonal_186MAlonzo.Code.Cost.Raw
check_ConstOffDiagonal_188MAlonzo.Code.Cost.Raw
check_ConstrDATA_612MAlonzo.Code.Utils
check_constrData_88MAlonzo.Code.Builtin
check_constr_50MAlonzo.Code.VerifiedCompilation.Trace
check_constr_60MAlonzo.Code.Raw
check_con_16MAlonzo.Code.Raw
check_con_44 
1 (Function)MAlonzo.Code.VerifiedCompilation.Trace
2 (Function)MAlonzo.Code.Raw
check_Counting_42MAlonzo.Code.Evaluator.Program
check_countSetBits_178MAlonzo.Code.Builtin
check_cseT_18MAlonzo.Code.VerifiedCompilation.Trace
check_deBError_578MAlonzo.Code.Scoped
check_decodeUtf8_58MAlonzo.Code.Builtin
check_delay_42MAlonzo.Code.VerifiedCompilation.Trace
check_divideInteger_10MAlonzo.Code.Builtin
check_dropList_186MAlonzo.Code.Builtin
check_encodeUtf8_56MAlonzo.Code.Builtin
check_equalsByteString_34MAlonzo.Code.Builtin
check_equalsData_108MAlonzo.Code.Builtin
check_equalsInteger_18MAlonzo.Code.Builtin
check_equalsString_54MAlonzo.Code.Builtin
check_error_46MAlonzo.Code.Raw
check_error_48MAlonzo.Code.VerifiedCompilation.Trace
check_EvalOpts_28MAlonzo.Code.Main
check_Eval_40MAlonzo.Code.Main
check_expand_30MAlonzo.Code.VerifiedCompilation.Trace
check_ExpModCost_190MAlonzo.Code.Cost.Raw
check_expModInteger_184MAlonzo.Code.Builtin
check_failure_120MAlonzo.Code.VerifiedCompilation.Trace
check_findFirstSetBit_180MAlonzo.Code.Builtin
check_fixity_30MAlonzo.Code.Agda.Builtin.Reflection
check_floatDelayT_6MAlonzo.Code.VerifiedCompilation.Trace
check_forceCaseDelayT_10MAlonzo.Code.VerifiedCompilation.Trace
check_forceDelayT_8MAlonzo.Code.VerifiedCompilation.Trace
check_force_40MAlonzo.Code.VerifiedCompilation.Trace
check_freeVariableError_580MAlonzo.Code.Scoped
check_fstPair_66MAlonzo.Code.Builtin
check_gasError_412MAlonzo.Code.Utils
check_headList_74MAlonzo.Code.Builtin
check_iDATA_618MAlonzo.Code.Utils
check_iData_94MAlonzo.Code.Builtin
check_ifThenElse_60MAlonzo.Code.Builtin
check_indexArray_84MAlonzo.Code.Builtin
check_indexByteString_32MAlonzo.Code.Builtin
check_inj'8321'_12MAlonzo.Code.Utils
check_inj'8322'_14MAlonzo.Code.Utils
check_inlineT_16MAlonzo.Code.VerifiedCompilation.Trace
check_inline_56MAlonzo.Code.VerifiedCompilation.Trace
check_integerToByteString_158MAlonzo.Code.Builtin
check_integer_30MAlonzo.Code.RawU
check_jsonError_22MAlonzo.Code.Evaluator.Base
check_keccak'45'256_152MAlonzo.Code.Builtin
check_left'45'assoc_16MAlonzo.Code.Agda.Builtin.Reflection
check_lengthOfArray_80MAlonzo.Code.Builtin
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_letFloatOutT_22MAlonzo.Code.VerifiedCompilation.Trace
check_LinearInMaxYZ_166MAlonzo.Code.Cost.Raw
check_LinearInU_162MAlonzo.Code.Cost.Raw
check_LinearInXAndY_168MAlonzo.Code.Cost.Raw
check_LinearInX_156MAlonzo.Code.Cost.Raw
check_LinearInYAndZ_170MAlonzo.Code.Cost.Raw
check_LinearInY_158MAlonzo.Code.Cost.Raw
check_LinearInZ_160MAlonzo.Code.Cost.Raw
check_ListDATA_616MAlonzo.Code.Utils
check_listData_92MAlonzo.Code.Builtin
check_listToArray_82MAlonzo.Code.Builtin
check_list_26MAlonzo.Code.Raw
check_list_50MAlonzo.Code.RawU
check_LiteralInYOrLinearInZ_164MAlonzo.Code.Cost.Raw
check_MapDATA_614MAlonzo.Code.Utils
check_mapData_90MAlonzo.Code.Builtin
check_MaxSize_154MAlonzo.Code.Cost.Raw
check_MinSize_152MAlonzo.Code.Cost.Raw
check_mkCons_72MAlonzo.Code.Builtin
check_mkCpuAndMemoryModel_202MAlonzo.Code.Cost.Raw
check_mkExpModCostingFunction_142MAlonzo.Code.Cost.Raw
check_mkLinearFunction_42MAlonzo.Code.Cost.Raw
check_mkNilData_114MAlonzo.Code.Builtin
check_mkNilPairData_116MAlonzo.Code.Builtin
check_mkOneVariableQuadraticFunction_58MAlonzo.Code.Cost.Raw
check_mkPairData_112MAlonzo.Code.Builtin
check_mkTwoVariableLinearFunction_74MAlonzo.Code.Cost.Raw
check_mkTwoVariableQuadraticFunction_106MAlonzo.Code.Cost.Raw
check_mkTwoVariableWithInteractionFunction_126MAlonzo.Code.Cost.Raw
check_modInteger_16MAlonzo.Code.Builtin
check_MultipliedSizes_150MAlonzo.Code.Cost.Raw
check_multiplyInteger_8MAlonzo.Code.Builtin
check_non'45'assoc_20MAlonzo.Code.Agda.Builtin.Reflection
check_none_58MAlonzo.Code.VerifiedCompilation.Trace
check_nullList_78MAlonzo.Code.Builtin
check_orByteString_162MAlonzo.Code.Builtin
check_pair_30MAlonzo.Code.Raw
check_pair_46MAlonzo.Code.RawU
check_parseError_16MAlonzo.Code.Evaluator.Base
check_pdata_40MAlonzo.Code.RawU
check_QuadraticInXAndY_178MAlonzo.Code.Cost.Raw
check_QuadraticInX_172MAlonzo.Code.Cost.Raw
check_QuadraticInY_174MAlonzo.Code.Cost.Raw
check_QuadraticInZ_176MAlonzo.Code.Cost.Raw
check_quotientInteger_12MAlonzo.Code.Builtin
check_readBit_168MAlonzo.Code.Builtin
check_related_24MAlonzo.Code.Agda.Builtin.Reflection
check_remainderInteger_14MAlonzo.Code.Builtin
check_replicateByte_172MAlonzo.Code.Builtin
check_right'45'assoc_18MAlonzo.Code.Agda.Builtin.Reflection
check_ripemd'45'160_182MAlonzo.Code.Builtin
check_rotateByteString_176MAlonzo.Code.Builtin
check_runtimeError_20MAlonzo.Code.Evaluator.Base
check_runtimeTypeError_416MAlonzo.Code.Utils
check_scopeError_18MAlonzo.Code.Evaluator.Base
check_serialiseData_110MAlonzo.Code.Builtin
check_sha2'45'256_40MAlonzo.Code.Builtin
check_sha3'45'256_42MAlonzo.Code.Builtin
check_shiftByteString_174MAlonzo.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_182MAlonzo.Code.Cost.Raw
check_subtractInteger_6MAlonzo.Code.Builtin
check_success_118MAlonzo.Code.VerifiedCompilation.Trace
check_tagCon_110MAlonzo.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_214MAlonzo.Code.RawU
check_UBuiltin_220MAlonzo.Code.RawU
check_UCase_228MAlonzo.Code.RawU
check_UConstr_226MAlonzo.Code.RawU
check_UCon_216MAlonzo.Code.RawU
check_UDelay_222MAlonzo.Code.RawU
check_UError_218MAlonzo.Code.RawU
check_UForce_224MAlonzo.Code.RawU
check_ULambda_212MAlonzo.Code.RawU
check_unBData_106MAlonzo.Code.Builtin
check_unConstrData_98MAlonzo.Code.Builtin
check_unIData_104MAlonzo.Code.Builtin
check_unit_38MAlonzo.Code.RawU
check_unknown_24MAlonzo.Code.VerifiedCompilation.Trace
check_unListData_102MAlonzo.Code.Builtin
check_unMapData_100MAlonzo.Code.Builtin
check_unrelated_26MAlonzo.Code.Agda.Builtin.Reflection
check_unwrap_52MAlonzo.Code.Raw
check_userError_414MAlonzo.Code.Utils
check_UVar_210MAlonzo.Code.RawU
check_U_48MAlonzo.Code.Evaluator.Program
check_var_28MAlonzo.Code.VerifiedCompilation.Trace
check_verifyEcdsaSecp256k1Signature_48MAlonzo.Code.Builtin
check_verifyEd25519Signature_46MAlonzo.Code.Builtin
check_verifySchnorrSecp256k1Signature_50MAlonzo.Code.Builtin
check_WithInteractionInXAndY_180MAlonzo.Code.Cost.Raw
check_wrap_50MAlonzo.Code.Raw
check_writeBits_170MAlonzo.Code.Builtin
check_xorByteString_164MAlonzo.Code.Builtin
check__'183''8595'_38MAlonzo.Code.VerifiedCompilation.Trace
check__'183''8902'__38MAlonzo.Code.Raw
check__'183'__14MAlonzo.Code.Raw
check__'183'__36MAlonzo.Code.VerifiedCompilation.Trace
check__'183'__42MAlonzo.Code.Raw
check__'44'__442MAlonzo.Code.Utils
check__'8658'__774MAlonzo.Code.Utils
check__'8658'__8MAlonzo.Code.Raw
check__'8759'__452MAlonzo.Code.Utils
check_ƛ'8595'_34MAlonzo.Code.VerifiedCompilation.Trace
check_ƛ_12MAlonzo.Code.Raw
check_ƛ_32MAlonzo.Code.VerifiedCompilation.Trace
check_ƛ_40MAlonzo.Code.Raw
check_Λ_36MAlonzo.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
chooseSatIntEvaluation.Builtins.Costing
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
chunksToByteArrayPlutusCore.Flat.Memory
chunksToByteStringPlutusCore.Flat.Memory
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
ClassPlutusTx.Plugin.Unsupported
ClassicPlutusCore.Executable.Types, PlutusCore.Executable.Common
clearBitsEvaluation.Builtins.BLS12_381.Utils
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
Closure 
1 (Type/Class)PlutusLedgerApi.V1.Data.Interval, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Type/Class)PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
cmActualPlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common, PlutusCore.Evaluation.Machine.CostModelInterface
CmdUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
cmExpectedPlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common, PlutusCore.Evaluation.Machine.CostModelInterface
CMInternalReadErrorPlutusLedgerApi.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, PlutusCore.Evaluation.Machine.CostModelInterface
CMInternalWriteErrorPlutusLedgerApi.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, PlutusCore.Evaluation.Machine.CostModelInterface
CMTooFewParamsWarnPlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common, PlutusCore.Evaluation.Machine.CostModelInterface
CMTooManyParamsWarnPlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common, PlutusCore.Evaluation.Machine.CostModelInterface
CMUnknownParamErrorPlutusLedgerApi.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, PlutusCore.Evaluation.Machine.CostModelInterface
coBuiltinSemanticsVariantPlutusCore.Compiler.Opts, PlutusCore.Compiler
coCaseOfCaseConservativePlutusIR.Compiler.Types, PlutusIR.Compiler
coCoveragePlutusTx.Compiler.Types
coDatatypesPlutusIR.Compiler.Types, PlutusIR.Compiler
coDatatypeStylePlutusTx.Compiler.Types
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
coeff00_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff01'_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
coeff10_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff11'_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
coefficient00PlutusCore.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
coefficient11PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient12 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
coefficient12PlutusCore.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
coInlineCallsiteGrowthPlutusIR.Compiler.Types, PlutusIR.Compiler
coInlineConstantsPlutusIR.Compiler.Types, PlutusIR.Compiler
coInlineFix 
1 (Function)PlutusTx.Compiler.Types
2 (Function)PlutusIR.Compiler.Types, PlutusIR.Compiler
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
collectListLengthsEvaluation.Builtins.Costing
CollectScopeInfoPlutusCore.Check.Scoping
collectScopeInfoPlutusCore.Check.Scoping
coMaxSimplifierIterationsPlutusIR.Compiler.Types, PlutusIR.Compiler
CommaPlutusCore.Examples.Builtins
CommandFFI.Opts
commandsFFI.Opts
commentPlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
Committee 
1 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
3 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
committeeMembers 
1 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
committeeQuorum 
1 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
CommitteeVoter 
1 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
commuteFnWithConstPlutusIR.Transform.RewriteRules.CommuteFnWithConst
Comp1PlutusCore.Flat.Class, PlutusCore.Flat.Instances.Util, PlutusCore.Flat
comparePlutusTx.Ord.Class, PlutusTx.Ord, PlutusTx.Prelude
compareAlphaEqPlutusConformance.Common
CompilationCtx 
1 (Type/Class)PlutusIR.Compiler.Types, PlutusIR.Compiler
2 (Data Constructor)PlutusIR.Compiler.Types
CompilationError 
1 (Data Constructor)PlutusTx.Compiler.Error
2 (Data Constructor)PlutusIR.Compiler.Error
3 (Data Constructor)PlutusIR.Error, PlutusIR.Compiler
CompilationOpts 
1 (Type/Class)PlutusIR.Compiler.Types, PlutusIR.Compiler
2 (Data Constructor)PlutusIR.Compiler.Types, PlutusIR.Compiler
3 (Type/Class)PlutusCore.Compiler.Opts, PlutusCore.Compiler
4 (Data Constructor)PlutusCore.Compiler.Opts, PlutusCore.Compiler
compilePlutusTx.TH, PlutusTx
compileBindPlutusTx.Plugin.Common
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
compiledCodeEnvelopePlutusLedgerApi.Envelope
compiledCodeEnvelopeForVersionPlutusLedgerApi.Envelope
CompiledCodeFuncToHaskTypePlutusTx.Test.Util.Apply, PlutusTx.Test
CompiledCodeInPlutusTx.Code, PlutusTx
compiledCodeToScriptForEvaluationPlutusLedgerApi.Test.Scripts
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
compileMarkedExprPlutusTx.Plugin.Common
compileMarkedExprOrDeferPlutusTx.Plugin.Common
compileMarkedExprsPlutusTx.Plugin.Common
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)PlutusIR.Compiler
2 (Function)PlutusCore.Compiler
compileProgramWithTracePlutusCore.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)PlutusTx.Compiler.Types
2 (Type/Class)PlutusIR.Compiler.Types, PlutusIR.Compiler
3 (Type/Class)PlutusCore.Compiler.Types
CompilingDefaultPlutusTx.Compiler.Types
ComplementByteStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
complementByteString 
1 (Function)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins, PlutusTx.Prelude
3 (Function)PlutusCore.Bitwise
ComplementByteString'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
ComplementByteString'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
ComplementByteString'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
ComplementByteString'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
complementSelfInverseEvaluation.Builtins.Bitwise.CIP0122
compoundDocMPlutusCore.Pretty.Readable, PlutusCore.Pretty
CompoundPassPlutusIR.Pass
compress 
1 (Function)Evaluation.Builtins.BLS12_381.TestClasses
2 (Function)PlutusCore.Crypto.BLS12_381.G2
3 (Function)PlutusCore.Crypto.BLS12_381.G1
compressedSizeEvaluation.Builtins.BLS12_381.TestClasses
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
compressionBitEvaluation.Builtins.BLS12_381.Utils
compressTermEvaluation.Builtins.BLS12_381.TestClasses
computeCekUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ComputingUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
con0xBSPlutusCore.Parser.Builtin, PlutusCore.Parser
conArrayPlutusCore.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
3 (Function)PlutusTx.Data.List
4 (Function)PlutusTx.BuiltinList
concatBuiltinStringsPlutusTx.Show.TH
concatMap 
1 (Function)PlutusTx.List
2 (Function)PlutusTx.Foldable
3 (Function)PlutusTx.Data.List
4 (Function)PlutusTx.BuiltinList
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
conFixityPlutusCore.Flat.Class, PlutusCore.Flat.Instances.Util, PlutusCore.Flat
conIntegerPlutusCore.Parser.Builtin, PlutusCore.Parser
conIsRecordPlutusCore.Flat.Class, PlutusCore.Flat.Instances.Util, PlutusCore.Flat
conListPlutusCore.Parser.Builtin, PlutusCore.Parser
conNamePlutusCore.Flat.Class, PlutusCore.Flat.Instances.Util, PlutusCore.Flat
conPairPlutusCore.Parser.Builtin, PlutusCore.Parser
Cons 
1 (Data Constructor)Data.RandomAccessList.SkewBinary
2 (Data Constructor)Data.RandomAccessList.SkewBinarySlab
cons 
1 (Function)PlutusTx.Data.List
2 (Function)PlutusTx.BuiltinList
3 (Function)Data.RandomAccessList.Class
4 (Function)PlutusCore.StdLib.Data.ScottList
consAnnIfPlutusCore.Pretty.Classic, PlutusCore.Pretty
consBitsPlutusCore.Flat.Decoder.Prim, PlutusCore.Flat.Decoder, PlutusCore.Flat.Instances.Util
consBoolPlutusCore.Flat.Decoder.Prim, PlutusCore.Flat.Decoder, PlutusCore.Flat.Instances.Util
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
consClosePlutusCore.Flat.Decoder.Prim, PlutusCore.Flat.Decoder, PlutusCore.Flat.Instances.Util
consOpenPlutusCore.Flat.Decoder.Prim, PlutusCore.Flat.Decoder, PlutusCore.Flat.Instances.Util
consSlab 
1 (Function)Data.RandomAccessList.Class
2 (Function)Data.RandomAccessList.SkewBinarySlab
ConsStackUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ConsStackNonEmptyUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ConsState 
1 (Type/Class)PlutusCore.Flat.Decoder.Prim, PlutusCore.Flat.Decoder, PlutusCore.Flat.Instances.Util
2 (Data Constructor)PlutusCore.Flat.Decoder.Prim, PlutusCore.Flat.Decoder, PlutusCore.Flat.Instances.Util
ConstPlutusCore.Examples.Builtins
const 
1 (Function)PlutusTx.Base, PlutusTx.Prelude
2 (Function)PlutusCore.StdLib.Data.Function
const0UntypedPlutusCore.Test.DeBruijn.Good
ConstAboveDiagonalPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
Constant 
1 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
2 (Data Constructor)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
3 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
constant 
1 (Function)PlutusIR.MkPir, PlutusCore.MkPlc
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
ConstitutionValidator 
1 (Type/Class)Cardano.Constitution.Validator.Data.Common, Cardano.Constitution.Data.Validator
2 (Type/Class)Cardano.Constitution.Validator.Common, Cardano.Constitution.Validator
constitutionValidator 
1 (Function)Cardano.Constitution.Validator.Data.Unsorted
2 (Function)Cardano.Constitution.Validator.Data.Sorted
3 (Function)Cardano.Constitution.Validator.Unsorted
4 (Function)Cardano.Constitution.Validator.Sorted
ConstOffDiagonalPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
constPartialPlutusCore.StdLib.Meta.Data.Function
Constr 
1 (Data Constructor)PlutusTx, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusCore.Data
2 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
4 (Data Constructor)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
constrPlutusIR.MkPir, PlutusCore.MkPlc
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
Constructor 
1 (Data Constructor)PlutusIR.Compiler.Provenance, PlutusIR.Compiler
2 (Type/Class)PlutusCore.Flat.Class, PlutusCore.Flat.Instances.Util, PlutusCore.Flat
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
contains 
1 (Function)PlutusLedgerApi.V1.Data.Interval
2 (Function)PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1
Context 
1 (Type/Class)PlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1
2 (Data Constructor)PlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1
3 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.Internal
4 (Type/Class)UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
conTextPlutusCore.Parser.Builtin, PlutusCore.Parser
contextAnnUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
contIndexOneData.RandomAccessList.SkewBinary
contIndexZeroData.RandomAccessList.SkewBinary
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)FFI.Untyped
2 (Function)Raw
conValuePlutusCore.Parser.Builtin, PlutusCore.Parser
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)FFI.Untyped
2 (Function)Raw
convTRaw
convTyConRaw
coOptimizePlutusIR.Compiler.Types, PlutusIR.Compiler
coPedanticPlutusIR.Compiler.Types, PlutusIR.Compiler
coPreserveLoggingPlutusIR.Compiler.Types, PlutusIR.Compiler
coProfile 
1 (Function)PlutusTx.Compiler.Types
2 (Function)PlutusIR.Compiler.Types, PlutusIR.Compiler
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)FFI.Opts
2 (Type/Class)PlutusCore.Evaluation.Machine.MachineParameters
3 (Data Constructor)PlutusCore.Evaluation.Machine.MachineParameters
CostModelApplyErrorPlutusLedgerApi.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, PlutusCore.Evaluation.Machine.CostModelInterface
CostModelApplyWarnPlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common, PlutusCore.Evaluation.Machine.CostModelInterface
costModelDataDirPlutusCore.DataFilePaths
CostModelParameterMismatchPlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
CostModelParamsPlutusLedgerApi.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, PlutusCore.Evaluation.Machine.CostModelInterface
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
countAstNodesPlutusTx.Code
CounterSizeUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
countFlatBytesPlutusTx.Test.Util.Compiled
CountingFFI.Opts
countingUntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
countingbudgetFFI.Opts
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)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins, PlutusTx.Prelude
3 (Function)PlutusCore.Bitwise
CountSetBits'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
CountSetBits'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
CountSetBits'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
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_192MAlonzo.Code.Cost.Raw
cover_DATA_610MAlonzo.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_EvalResult_116MAlonzo.Code.VerifiedCompilation.Trace
cover_ExpModCostingFunction_128MAlonzo.Code.Cost.Raw
cover_Fixity_28MAlonzo.Code.Agda.Builtin.Reflection
cover_Hints_54MAlonzo.Code.VerifiedCompilation.Trace
cover_InlineHints_26MAlonzo.Code.VerifiedCompilation.Trace
cover_Kind_768MAlonzo.Code.Utils
cover_LinearFunction_32MAlonzo.Code.Cost.Raw
cover_List_446MAlonzo.Code.Utils
cover_OneVariableQuadraticFunction_44MAlonzo.Code.Cost.Raw
cover_Precedence_22MAlonzo.Code.Agda.Builtin.Reflection
cover_RawModel_144MAlonzo.Code.Cost.Raw
cover_RawTm_32MAlonzo.Code.Raw
cover_RawTyCon_4MAlonzo.Code.Raw
cover_RawTy_2MAlonzo.Code.Raw
cover_RuntimeError_410MAlonzo.Code.Utils
cover_ScopeError_576MAlonzo.Code.Scoped
cover_SimplifierTag_4MAlonzo.Code.VerifiedCompilation.Trace
cover_TagCon_106MAlonzo.Code.RawU
cover_Tag_28MAlonzo.Code.RawU
cover_TwoVariableLinearFunction_60MAlonzo.Code.Cost.Raw
cover_TwoVariableQuadraticFunction_76MAlonzo.Code.Cost.Raw
cover_TwoVariableWithInteractionFunction_108MAlonzo.Code.Cost.Raw
cover_TypecheckOptions_30MAlonzo.Code.Main
cover_Untyped_208MAlonzo.Code.RawU
cover__'215'__428MAlonzo.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
Credential 
1 (Type/Class)PlutusLedgerApi.V1.Data.Credential, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Type/Class)PlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
csbComplementEvaluation.Builtins.Bitwise.CIP0123
csbHomomorphismEvaluation.Builtins.Bitwise.CIP0123
csbInclusionExclusionEvaluation.Builtins.Bitwise.CIP0123
csbRotateEvaluation.Builtins.Bitwise.CIP0123
csbXorEvaluation.Builtins.Bitwise.CIP0123
CSEUntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore.Simplify, UntypedPlutusCore
cseUntypedPlutusCore.Transform.Cse
cse1Transform.Simplify.Spec
cse2Transform.Simplify.Spec
cse3Transform.Simplify.Spec
cseExpensiveTransform.Simplify.Spec
csePlusTreeTransform.Simplify.Spec
cseRepeatPlusTransform.Simplify.Spec
CseWhichSubtermsUntypedPlutusCore.Transform.Cse, UntypedPlutusCore.Simplify, UntypedPlutusCore
csizePlutusCore.Flat.Encoder.Strict
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
currBytePlutusCore.Flat.Encoder.Types
CurrencySymbol 
1 (Type/Class)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
2 (Type/Class)PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
3 (Data Constructor)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
4 (Data Constructor)PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
currencySymbol 
1 (Function)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V1.Data.Value
currencySymbolFromHexPlutusLedgerApi.Test.ScriptContextBuilder.Builder
currencySymbolValueOf 
1 (Function)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V1.Data.Value
currentLevelPlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
currPtrPlutusCore.Flat.Decoder.Types
curryPlutusTx.Base, PlutusTx.Prelude
CustomPlutusIR.Pass
CustomBiPlutusIR.Pass
cutoffUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
C_'183''8801'β_26MAlonzo.Code.Type.Equality
C_'42'_770MAlonzo.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'_1210MAlonzo.Code.Algorithmic.CEK
C_'45''183''8902'_382MAlonzo.Code.Algorithmic.ReductionEC
C_'45''183'v_1196MAlonzo.Code.Algorithmic.CEK
C_'45''183'v_202MAlonzo.Code.Untyped.CEK
C_'45''183'v_366MAlonzo.Code.Algorithmic.ReductionEC
C_'45''183'_1190MAlonzo.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'reflexive_348MAlonzo.Code.Data.Nat.Base
C_'8804''8242''45'step_352MAlonzo.Code.Data.Nat.Base
C_'8804''8244''45'reflexive_434MAlonzo.Code.Data.Nat.Base
C_'8804''8244''45'step_436MAlonzo.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''33'_1962MAlonzo.Code.VerifiedCompilation.UntypedViews
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'_278MAlonzo.Code.Algorithmic
C_'91''93'_308MAlonzo.Code.Utils.List
C_'91''93'_32MAlonzo.Code.Data.Vec.Base
C_'91''93'_402MAlonzo.Code.Utils.List
C_'91''93'_450MAlonzo.Code.Utils
C_'91''93'_462MAlonzo.Code.Data.List.Base
C_'91''93'_468MAlonzo.Code.Utils
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'_840MAlonzo.Code.Utils.List
C_'91'_'93''60''8868''8314'_30MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.Strict
C_'91'_'93'_158MAlonzo.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'_28 
1 (Data Constructor)MAlonzo.Code.Data.Irrelevant
2 (Data Constructor)MAlonzo.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'_382MAlonzo.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''33'_864MAlonzo.Code.VerifiedCompilation.UntypedViews
C_'96''8595'_234MAlonzo.Code.VerifiedCompilation.UInline
C_'96'_114MAlonzo.Code.Declarative
C_'96'_18 
1 (Data Constructor)MAlonzo.Code.Scoped
2 (Data Constructor)MAlonzo.Code.Untyped
C_'96'_184MAlonzo.Code.Algorithmic
C_'96'_22MAlonzo.Code.Type
C_'96'_230MAlonzo.Code.VerifiedCompilation.UInline
C_'96'_32MAlonzo.Code.Builtin.Signature
C_'96'_34MAlonzo.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'_106MAlonzo.Code.VerifiedCompilation.UInline
C_'9633'_1292MAlonzo.Code.Algorithmic.CEK
C_'9633'_226MAlonzo.Code.Untyped.CEK
C_'9633'_32MAlonzo.Code.VerifiedCompilation.UInline
C_'9633'_50MAlonzo.Code.Algorithmic.CK
C_'9633'_82MAlonzo.Code.VerifiedCompilation.UForceDelay
C_'9670'_1294MAlonzo.Code.Algorithmic.CEK
C_'9670'_228MAlonzo.Code.Untyped.CEK
C_'9670'_54MAlonzo.Code.Algorithmic.CK
C_'9839'_42MAlonzo.Code.Algorithmic
C_'9839'_772MAlonzo.Code.Utils
C_0ℙ_8MAlonzo.Code.Data.Parity.Base
C_1ℙ_10MAlonzo.Code.Data.Parity.Base
C_a2c_16MAlonzo.Code.VerifiedCompilation.UApplyToCase
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_abort_10MAlonzo.Code.VerifiedCompilation
C_abort_32MAlonzo.Code.VerifiedCompilation.Certificate
C_abort_78MAlonzo.Code.VerifiedCompilation.Certificate
C_absurd'45'clause_278MAlonzo.Code.Agda.Builtin.Reflection
C_absurd_264MAlonzo.Code.Agda.Builtin.Reflection
C_abs_122 
1 (Data Constructor)MAlonzo.Code.Agda.Builtin.Reflection
2 (Data Constructor)MAlonzo.Code.VerifiedCompilation.UForceDelay
C_aBytestring_10MAlonzo.Code.Builtin.Constant.AtomicType
C_accept_6MAlonzo.Code.VerifiedCompilation.NotImplemented
C_acc_52MAlonzo.Code.Induction.WellFounded
C_aData_18MAlonzo.Code.Builtin.Constant.AtomicType
C_addComm_2124MAlonzo.Code.VerifiedCompilation.UntypedViews
C_AddedSizes_148MAlonzo.Code.Cost.Raw
C_addedSizes_36MAlonzo.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_796MAlonzo.Code.VerifiedCompilation.UntypedViews
C_andByteString_160MAlonzo.Code.Builtin
C_app'45'constr_412MAlonzo.Code.Untyped.Reduction
C_app'45'con_398MAlonzo.Code.Untyped.Reduction
C_app'45'delay_404MAlonzo.Code.Untyped.Reduction
C_app'45'interleave'45'error_392MAlonzo.Code.Untyped.Reduction
C_app'8902'_120MAlonzo.Code.Untyped.CEK
C_appendByteString_24MAlonzo.Code.Builtin
C_appendString_52MAlonzo.Code.Builtin
C_appfd'8315''185'_54MAlonzo.Code.VerifiedCompilation.UForceDelay
C_appfd_46MAlonzo.Code.VerifiedCompilation.UForceDelay
C_applyToCaseT_20MAlonzo.Code.VerifiedCompilation.Trace
C_app_106MAlonzo.Code.Untyped.CEK
C_app_120MAlonzo.Code.VerifiedCompilation.UForceDelay
C_app_42MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_app_46MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_app_50MAlonzo.Code.Untyped.Purity
C_arg'45'info_82MAlonzo.Code.Agda.Builtin.Reflection
C_argtype_70MAlonzo.Code.Builtin.Signature
C_Arg_64MAlonzo.Code.Text.Format.Generic
C_arg_98MAlonzo.Code.Agda.Builtin.Reflection
C_array_12MAlonzo.Code.Builtin.Constant.Type
C_array_20MAlonzo.Code.Builtin.Signature
C_array_28MAlonzo.Code.Raw
C_array_54MAlonzo.Code.RawU
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_304MAlonzo.Code.Agda.Builtin.Reflection
C_B'45'delay_20MAlonzo.Code.VerifiedCompilation.UForceCaseDelay
C_B'45'ƛ_22MAlonzo.Code.VerifiedCompilation.UForceCaseDelay
C_b'8804'b_16MAlonzo.Code.Data.Bool.Base
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_620MAlonzo.Code.Utils
C_bData_96MAlonzo.Code.Builtin
C_BDelay_16MAlonzo.Code.Cost.Base
C_BForce_18MAlonzo.Code.Cost.Base
C_bijection_106MAlonzo.Code.Function.Related.Propositional
C_bijection_126MAlonzo.Code.Function.Related.Propositional
C_bijection_142MAlonzo.Code.Function.Related.Propositional
C_bijection_22MAlonzo.Code.Function.Related.Propositional
C_bijection_90MAlonzo.Code.Function.Related.Propositional
C_blake2b'45'224_154MAlonzo.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_150MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'add_118MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'compress_128MAlonzo.Code.Builtin
C_bls12'45'381'45'g1'45'element_56MAlonzo.Code.RawU
C_bls12'45'381'45'G1'45'equal_124MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'hashToGroup_126MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'multiScalarMul_188MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'neg_120MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'scalarMul_122MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'uncompress_130MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'add_132MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'compress_142MAlonzo.Code.Builtin
C_bls12'45'381'45'g2'45'element_58MAlonzo.Code.RawU
C_bls12'45'381'45'G2'45'equal_138MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'hashToGroup_140MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'multiScalarMul_190MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'neg_134MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'scalarMul_136MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'uncompress_144MAlonzo.Code.Builtin
C_bls12'45'381'45'millerLoop_146MAlonzo.Code.Builtin
C_bls12'45'381'45'mlresult_60MAlonzo.Code.RawU
C_bls12'45'381'45'mulMlResult_148MAlonzo.Code.Builtin
C_bool_36MAlonzo.Code.RawU
C_bresult_280MAlonzo.Code.Builtin.Signature
C_broken'45'const_328MAlonzo.Code.Untyped.Reduction
C_BStartup_42MAlonzo.Code.Cost.Base
C_BStep_36MAlonzo.Code.Cost.Base
C_bubble_1136MAlonzo.Code.Utils.List
C_bubble_192MAlonzo.Code.Utils
C_bubble_700MAlonzo.Code.Utils.List
C_builtin'33'_974MAlonzo.Code.VerifiedCompilation.UntypedViews
C_builtinError_102MAlonzo.Code.Check
C_builtin_'47'__264MAlonzo.Code.Algorithmic
C_builtin_166MAlonzo.Code.Declarative
C_builtin_200MAlonzo.Code.Untyped.Reduction
C_builtin_22MAlonzo.Code.Untyped.Purity
C_builtin_270MAlonzo.Code.VerifiedCompilation.UInline
C_builtin_44MAlonzo.Code.Untyped
C_builtin_46MAlonzo.Code.VerifiedCompilation.Trace
C_builtin_48MAlonzo.Code.Raw
C_builtin_544MAlonzo.Code.Scoped
C_builtin_56MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_builtin_80MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_BVar_10MAlonzo.Code.Cost.Base
C_byteStringToInteger_156MAlonzo.Code.Builtin
C_bytestring_32MAlonzo.Code.RawU
C_case'33'_936MAlonzo.Code.VerifiedCompilation.UntypedViews
C_case'45'builtin_440MAlonzo.Code.Untyped.Reduction
C_case'45'constr_320MAlonzo.Code.Untyped.Reduction
C_case'45'con_434MAlonzo.Code.Untyped.Reduction
C_case'45'delay_428MAlonzo.Code.Untyped.Reduction
C_case'45'error_416MAlonzo.Code.Untyped.Reduction
C_case'45'reduce_466MAlonzo.Code.Untyped.Reduction
C_case'45'unsat'8320'_450MAlonzo.Code.Untyped.Reduction
C_case'45'unsat'8321'_458MAlonzo.Code.Untyped.Reduction
C_case'45'_1258MAlonzo.Code.Algorithmic.CEK
C_case'45'_216MAlonzo.Code.Untyped.CEK
C_case'45'_428MAlonzo.Code.Algorithmic.ReductionEC
C_case'45'ƛ_422MAlonzo.Code.Untyped.Reduction
C_caseOfCaseT_12MAlonzo.Code.VerifiedCompilation.Trace
C_caseReduceT_14MAlonzo.Code.VerifiedCompilation.Trace
C_casereduce_18MAlonzo.Code.VerifiedCompilation.UCaseReduce
C_case_154MAlonzo.Code.Declarative
C_case_252MAlonzo.Code.Algorithmic
C_case_290MAlonzo.Code.VerifiedCompilation.UInline
C_case_40MAlonzo.Code.Untyped
C_case_52MAlonzo.Code.VerifiedCompilation.Trace
C_case_564MAlonzo.Code.Scoped
C_case_568MAlonzo.Code.Algorithmic.ReductionEC
C_case_68MAlonzo.Code.Raw
C_case_70MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_case_76MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_Center_96MAlonzo.Code.Data.String.Base
C_ce_26MAlonzo.Code.VerifiedCompilation.Certificate
C_ce_52MAlonzo.Code.VerifiedCompilation.Certificate
C_CharArg_12MAlonzo.Code.Text.Format
C_char_140MAlonzo.Code.Agda.Builtin.Reflection
C_chooseData_86MAlonzo.Code.Builtin
C_chooseList_70MAlonzo.Code.Builtin
C_chooseUnit_62MAlonzo.Code.Builtin
C_clause_272MAlonzo.Code.Agda.Builtin.Reflection
C_complementByteString_166MAlonzo.Code.Builtin
C_con'33'_964MAlonzo.Code.VerifiedCompilation.UntypedViews
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_184MAlonzo.Code.Cost.Raw
C_constantCost_12MAlonzo.Code.Cost.Model
C_ConstantCost_146MAlonzo.Code.Cost.Raw
C_ConstBelowDiagonal_186MAlonzo.Code.Cost.Raw
C_ConstOffDiagonal_188MAlonzo.Code.Cost.Raw
C_constr'33'_954MAlonzo.Code.VerifiedCompilation.UntypedViews
C_constr'45'error_354MAlonzo.Code.Untyped.Reduction
C_constr'45'step_338MAlonzo.Code.Untyped.Reduction
C_constr'45'sub'45'error_362MAlonzo.Code.Untyped.Reduction
C_constr'45'sub'45'step_348MAlonzo.Code.Untyped.Reduction
C_constr'45'_1246MAlonzo.Code.Algorithmic.CEK
C_constr'45'_210MAlonzo.Code.Untyped.CEK
C_constr'45'_420MAlonzo.Code.Algorithmic.ReductionEC
C_ConstrDATA_612MAlonzo.Code.Utils
C_constrData_88MAlonzo.Code.Builtin
C_constructor_100MAlonzo.Code.Function.Metric.Structures
C_constructor_1002MAlonzo.Code.Function.Bundles
C_constructor_1004MAlonzo.Code.Algebra.Structures
C_constructor_1008MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_102 
1 (Data Constructor)MAlonzo.Code.Algebra.Bundles.Raw
2 (Data Constructor)MAlonzo.Code.Text.Printf.Generic
C_constructor_1030MAlonzo.Code.Algebra.Morphism
C_constructor_1052MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_1064MAlonzo.Code.Relation.Binary.Lattice.Bundles
C_constructor_1066MAlonzo.Code.Algebra.Structures
C_constructor_1088MAlonzo.Code.Algebra.Bundles
C_constructor_1090MAlonzo.Code.Relation.Binary.Bundles
C_constructor_1094MAlonzo.Code.Function.Bundles
C_constructor_110MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_1108MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_112 
1 (Data Constructor)MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles
2 (Data Constructor)MAlonzo.Code.Relation.Binary.Lattice.Structures
C_constructor_1164MAlonzo.Code.Algebra.Structures
C_constructor_1180MAlonzo.Code.Algebra.Bundles
C_constructor_120MAlonzo.Code.Data.Nat.Base
C_constructor_124 
1 (Data Constructor)MAlonzo.Code.Relation.Binary.Morphism.Structures
2 (Data Constructor)MAlonzo.Code.Algebra.Bundles
C_constructor_1252MAlonzo.Code.Algebra.Structures
C_constructor_126MAlonzo.Code.Relation.Binary.Structures
C_constructor_1272MAlonzo.Code.Relation.Binary.Bundles
C_constructor_1292MAlonzo.Code.Algebra.Morphism
C_constructor_1296MAlonzo.Code.Algebra.Bundles
C_constructor_1334MAlonzo.Code.Algebra.Structures
C_constructor_134MAlonzo.Code.Relation.Binary.Bundles
C_constructor_136MAlonzo.Code.Algebra.Construct.NaturalChoice.Base
C_constructor_1386MAlonzo.Code.Relation.Binary.Bundles
C_constructor_1398MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_14MAlonzo.Code.Untyped.Equality
C_constructor_142 
1 (Data Constructor)MAlonzo.Code.Algebra.Bundles.Raw
2 (Data Constructor)MAlonzo.Code.Algebra.Morphism.Structures
3 (Data Constructor)MAlonzo.Code.Data.Integer.Base
C_constructor_1430MAlonzo.Code.Algebra.Structures
C_constructor_1448MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_1470MAlonzo.Code.Algebra.Bundles
C_constructor_1504MAlonzo.Code.Relation.Binary.Bundles
C_constructor_1510MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_1526MAlonzo.Code.Algebra.Structures
C_constructor_154MAlonzo.Code.Data.Integer.Base
C_constructor_1558 
1 (Data Constructor)MAlonzo.Code.Relation.Binary.Bundles
2 (Data Constructor)MAlonzo.Code.Algebra.Bundles
C_constructor_158MAlonzo.Code.Algebra.Lattice.Bundles
C_constructor_160MAlonzo.Code.Algebra.Morphism
C_constructor_162MAlonzo.Code.Data.Nat.Base
C_constructor_1630MAlonzo.Code.Algebra.Structures
C_constructor_166MAlonzo.Code.Data.Integer.Base
C_constructor_1676MAlonzo.Code.Algebra.Bundles
C_constructor_168MAlonzo.Code.Algebra.Construct.NaturalChoice.Base
C_constructor_170 
1 (Data Constructor)MAlonzo.Code.Relation.Binary.Morphism.Structures
2 (Data Constructor)MAlonzo.Code.Function.Structures
C_constructor_1700MAlonzo.Code.Algebra.Morphism
C_constructor_174 
1 (Data Constructor)MAlonzo.Code.Function.Metric.Structures
2 (Data Constructor)MAlonzo.Code.Algebra.Structures
C_constructor_1740MAlonzo.Code.Algebra.Structures
C_constructor_176MAlonzo.Code.Effect.Applicative
C_constructor_178 
1 (Data Constructor)MAlonzo.Code.Data.Integer.Base
2 (Data Constructor)MAlonzo.Code.Relation.Binary.Structures
C_constructor_180MAlonzo.Code.Relation.Binary.Lattice.Structures
C_constructor_1808MAlonzo.Code.Algebra.Bundles
C_constructor_184 
1 (Data Constructor)MAlonzo.Code.Algebra.Bundles.Raw
2 (Data Constructor)MAlonzo.Code.Function.Metric.Nat.Bundles
3 (Data Constructor)MAlonzo.Code.Algebra.Bundles
C_constructor_1862MAlonzo.Code.Algebra.Structures
C_constructor_1874MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_1924MAlonzo.Code.Algebra.Bundles
C_constructor_1926MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_1940MAlonzo.Code.Function.Bundles
C_constructor_196MAlonzo.Code.Relation.Binary.Lattice.Bundles
C_constructor_1988MAlonzo.Code.Algebra.Structures
C_constructor_1992MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_20MAlonzo.Code.Text.Format.Generic
C_constructor_2034MAlonzo.Code.Function.Bundles
C_constructor_2058MAlonzo.Code.Algebra.Bundles
C_constructor_210 
1 (Data Constructor)MAlonzo.Code.Algebra.Morphism.Structures
2 (Data Constructor)MAlonzo.Code.Algebra.Structures
C_constructor_2110MAlonzo.Code.Algebra.Structures
C_constructor_2120MAlonzo.Code.Function.Bundles
C_constructor_2198MAlonzo.Code.Algebra.Bundles
C_constructor_2220MAlonzo.Code.Function.Bundles
C_constructor_2248MAlonzo.Code.Function.Bundles
C_constructor_2250MAlonzo.Code.Algebra.Structures
C_constructor_228MAlonzo.Code.Relation.Binary.Morphism.Structures
C_constructor_2290MAlonzo.Code.Function.Bundles
C_constructor_232 
1 (Data Constructor)MAlonzo.Code.Relation.Binary.Bundles
2 (Data Constructor)MAlonzo.Code.Algebra.Lattice.Bundles
C_constructor_234MAlonzo.Code.Algebra.Bundles.Raw
C_constructor_2350MAlonzo.Code.Algebra.Bundles
C_constructor_2358MAlonzo.Code.Algebra.Structures
C_constructor_236MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_242MAlonzo.Code.Relation.Binary.Structures
C_constructor_244MAlonzo.Code.Algebra.Bundles
C_constructor_246MAlonzo.Code.Effect.Applicative
C_constructor_248MAlonzo.Code.Algebra.Structures
C_constructor_2482MAlonzo.Code.Algebra.Structures
C_constructor_2518MAlonzo.Code.Algebra.Bundles
C_constructor_252 
1 (Data Constructor)MAlonzo.Code.Function.Metric.Structures
2 (Data Constructor)MAlonzo.Code.Function.Structures
C_constructor_2540MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_26 
1 (Data Constructor)MAlonzo.Code.Effect.Empty
2 (Data Constructor)MAlonzo.Code.Effect.Choice
3 (Data Constructor)MAlonzo.Code.Relation.Binary.Structures
C_constructor_2606MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_2614MAlonzo.Code.Algebra.Structures
C_constructor_268MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_2684MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_2706MAlonzo.Code.Algebra.Bundles
C_constructor_2728MAlonzo.Code.Algebra.Structures
C_constructor_274MAlonzo.Code.Relation.Binary.Lattice.Structures
C_constructor_280MAlonzo.Code.Effect.Monad
C_constructor_2820MAlonzo.Code.Algebra.Structures.Biased
C_constructor_284 
1 (Data Constructor)MAlonzo.Code.Algebra.Bundles.Raw
2 (Data Constructor)MAlonzo.Code.Function.Metric.Nat.Bundles
C_constructor_286 
1 (Data Constructor)MAlonzo.Code.Relation.Binary.Lattice.Bundles
2 (Data Constructor)MAlonzo.Code.Algebra.Structures
C_constructor_2876 
1 (Data Constructor)MAlonzo.Code.Algebra.Structures
2 (Data Constructor)MAlonzo.Code.Algebra.Structures.Biased
C_constructor_288MAlonzo.Code.Relation.Binary.Morphism.Structures
C_constructor_2898MAlonzo.Code.Algebra.Bundles
C_constructor_290MAlonzo.Code.Utils
C_constructor_294MAlonzo.Code.Relation.Binary.Structures
C_constructor_2940MAlonzo.Code.Algebra.Structures.Biased
C_constructor_2950MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_2994MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_3004MAlonzo.Code.Algebra.Structures.Biased
C_constructor_3030MAlonzo.Code.Algebra.Structures
C_constructor_304MAlonzo.Code.Algebra.Bundles
C_constructor_3050MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_3078MAlonzo.Code.Algebra.Structures.Biased
C_constructor_3086MAlonzo.Code.Algebra.Bundles
C_constructor_3112MAlonzo.Code.Algebra.Structures
C_constructor_3140MAlonzo.Code.Algebra.Lattice.Structures
C_constructor_3192MAlonzo.Code.Algebra.Structures
C_constructor_32MAlonzo.Code.Relation.Binary.Bundles.Raw
C_constructor_3208MAlonzo.Code.Algebra.Structures.Biased
C_constructor_3212MAlonzo.Code.Algebra.Lattice.Structures
C_constructor_326MAlonzo.Code.Algebra.Morphism
C_constructor_3276MAlonzo.Code.Algebra.Structures
C_constructor_328MAlonzo.Code.Algebra.Structures
C_constructor_3286MAlonzo.Code.Algebra.Bundles
C_constructor_330MAlonzo.Code.Algebra.Lattice.Bundles
C_constructor_3314MAlonzo.Code.Algebra.Lattice.Structures
C_constructor_3338MAlonzo.Code.Algebra.Structures.Biased
C_constructor_334 
1 (Data Constructor)MAlonzo.Code.Function.Metric.Structures
2 (Data Constructor)MAlonzo.Code.Relation.Binary.Bundles
C_constructor_3360MAlonzo.Code.Algebra.Structures
C_constructor_340MAlonzo.Code.Function.Structures
C_constructor_342MAlonzo.Code.Relation.Binary.Lattice.Structures
C_constructor_3420MAlonzo.Code.Algebra.Structures.Biased
C_constructor_3428 
1 (Data Constructor)MAlonzo.Code.Algebra.Morphism.Structures
2 (Data Constructor)MAlonzo.Code.Algebra.Bundles
C_constructor_344MAlonzo.Code.Algebra.Bundles.Raw
C_constructor_3452MAlonzo.Code.Algebra.Structures
C_constructor_3466MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_3508MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_3536MAlonzo.Code.Algebra.Structures
C_constructor_3566MAlonzo.Code.Algebra.Structures.Biased
C_constructor_3590MAlonzo.Code.Algebra.Bundles
C_constructor_36MAlonzo.Code.Untyped.Equality
C_constructor_364MAlonzo.Code.Relation.Binary.Structures
C_constructor_366MAlonzo.Code.Algebra.Structures
C_constructor_368MAlonzo.Code.Algebra.Bundles
C_constructor_370MAlonzo.Code.Effect.Monad
C_constructor_3748MAlonzo.Code.Algebra.Bundles
C_constructor_3750MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_3794MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_38MAlonzo.Code.Algebra.Bundles.Raw
C_constructor_3842MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_386 
1 (Data Constructor)MAlonzo.Code.Algebra.Bundles.Raw
2 (Data Constructor)MAlonzo.Code.Relation.Binary.Lattice.Bundles
C_constructor_390MAlonzo.Code.Function.Metric.Nat.Bundles
C_constructor_3902MAlonzo.Code.Algebra.Bundles
C_constructor_40 
1 (Data Constructor)MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures
2 (Data Constructor)MAlonzo.Code.Relation.Binary.Bundles
C_constructor_400MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_404MAlonzo.Code.Algebra.Structures
C_constructor_412MAlonzo.Code.Relation.Binary.Structures
C_constructor_4120MAlonzo.Code.Algebra.Bundles
C_constructor_418MAlonzo.Code.Algebra.Lattice.Bundles
C_constructor_42MAlonzo.Code.Algebra.Lattice.Bundles.Raw
C_constructor_424 
1 (Data Constructor)MAlonzo.Code.Relation.Binary.Lattice.Structures
2 (Data Constructor)MAlonzo.Code.Function.Metric.Structures
C_constructor_428MAlonzo.Code.Algebra.Bundles
C_constructor_432MAlonzo.Code.Function.Structures
C_constructor_434 
1 (Data Constructor)MAlonzo.Code.Algebra.Bundles.Raw
2 (Data Constructor)MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_4352MAlonzo.Code.Algebra.Bundles
C_constructor_44MAlonzo.Code.Effect.Functor
C_constructor_444MAlonzo.Code.Effect.Applicative
C_constructor_4454MAlonzo.Code.Algebra.Bundles
C_constructor_446MAlonzo.Code.Algebra.Structures
C_constructor_448MAlonzo.Code.Effect.Monad
C_constructor_4564MAlonzo.Code.Algebra.Bundles
C_constructor_46MAlonzo.Code.Relation.Binary.Structures
C_constructor_4670MAlonzo.Code.Algebra.Bundles
C_constructor_476MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_4776MAlonzo.Code.Algebra.Bundles
C_constructor_482MAlonzo.Code.Relation.Binary.Structures
C_constructor_484 
1 (Data Constructor)MAlonzo.Code.Relation.Binary.Bundles
2 (Data Constructor)MAlonzo.Code.Algebra.Structures
C_constructor_488 
1 (Data Constructor)MAlonzo.Code.Algebra.Bundles.Raw
2 (Data Constructor)MAlonzo.Code.Algebra.Bundles
C_constructor_4888MAlonzo.Code.Algebra.Bundles
C_constructor_498MAlonzo.Code.Relation.Binary.Lattice.Bundles
C_constructor_4994MAlonzo.Code.Algebra.Bundles
C_constructor_50MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles
C_constructor_502MAlonzo.Code.Function.Metric.Nat.Bundles
C_constructor_504MAlonzo.Code.Relation.Binary.Lattice.Structures
C_constructor_506MAlonzo.Code.Algebra.Lattice.Bundles
C_constructor_520 
1 (Data Constructor)MAlonzo.Code.Function.Structures
2 (Data Constructor)MAlonzo.Code.Algebra.Morphism
C_constructor_522MAlonzo.Code.Algebra.Structures
C_constructor_54 
1 (Data Constructor)MAlonzo.Code.Relation.Binary.Morphism.Structures
2 (Data Constructor)MAlonzo.Code.Text.Printf.Generic
C_constructor_540MAlonzo.Code.Relation.Binary.Structures
C_constructor_552MAlonzo.Code.Algebra.Bundles
C_constructor_564MAlonzo.Code.Algebra.Structures
C_constructor_588MAlonzo.Code.Relation.Binary.Bundles
C_constructor_592MAlonzo.Code.Algebra.Lattice.Bundles
C_constructor_600MAlonzo.Code.Relation.Binary.Lattice.Structures
C_constructor_608MAlonzo.Code.Algebra.Structures
C_constructor_614 
1 (Data Constructor)MAlonzo.Code.Function.Metric.Nat.Bundles
2 (Data Constructor)MAlonzo.Code.Algebra.Bundles
C_constructor_618 
1 (Data Constructor)MAlonzo.Code.Relation.Binary.Structures
2 (Data Constructor)MAlonzo.Code.Function.Structures
C_constructor_620MAlonzo.Code.Relation.Binary.Lattice.Bundles
C_constructor_638MAlonzo.Code.Relation.Binary.Structures.Biased
C_constructor_64MAlonzo.Code.Function.Dependent.Bundles
C_constructor_660MAlonzo.Code.Algebra.Structures
C_constructor_68 
1 (Data Constructor)MAlonzo.Code.Algebra.Bundles.Raw
2 (Data Constructor)MAlonzo.Code.Algebra.Bundles
3 (Data Constructor)MAlonzo.Code.Cost.Base
C_constructor_680MAlonzo.Code.Relation.Binary.Structures
C_constructor_682MAlonzo.Code.Algebra.Bundles
C_constructor_692MAlonzo.Code.Algebra.Lattice.Bundles
C_constructor_694MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_70MAlonzo.Code.Relation.Binary.Structures
C_constructor_706 
1 (Data Constructor)MAlonzo.Code.Function.Structures
2 (Data Constructor)MAlonzo.Code.Algebra.Structures
C_constructor_734 
1 (Data Constructor)MAlonzo.Code.Algebra.Morphism.Structures
2 (Data Constructor)MAlonzo.Code.Relation.Binary.Lattice.Structures
C_constructor_744MAlonzo.Code.Relation.Binary.Structures
C_constructor_752 
1 (Data Constructor)MAlonzo.Code.Relation.Binary.Bundles
2 (Data Constructor)MAlonzo.Code.Algebra.Morphism
C_constructor_754MAlonzo.Code.Algebra.Bundles
C_constructor_756MAlonzo.Code.Relation.Binary.Lattice.Bundles
C_constructor_758MAlonzo.Code.Algebra.Structures
C_constructor_76MAlonzo.Code.Relation.Binary.Bundles.Raw
C_constructor_772MAlonzo.Code.Relation.Binary.Structures
C_constructor_78 
1 (Data Constructor)MAlonzo.Code.Effect.Applicative
2 (Data Constructor)MAlonzo.Code.Function.Properties.Inverse.HalfAdjointEquivalence
3 (Data Constructor)MAlonzo.Code.Cost.Model
C_constructor_784MAlonzo.Code.Algebra.Morphism.Structures
C_constructor_802MAlonzo.Code.Function.Structures
C_constructor_820MAlonzo.Code.Algebra.Structures
C_constructor_822MAlonzo.Code.Algebra.Lattice.Bundles
C_constructor_838MAlonzo.Code.Algebra.Bundles
C_constructor_84 
1 (Data Constructor)MAlonzo.Code.Algebra.Morphism.Structures
2 (Data Constructor)MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures
3 (Data Constructor)MAlonzo.Code.Relation.Binary.Bundles
4 (Data Constructor)MAlonzo.Code.Algebra.Lattice.Bundles
C_constructor_840MAlonzo.Code.Function.Bundles
C_constructor_842MAlonzo.Code.Relation.Binary.Bundles
C_constructor_852MAlonzo.Code.Relation.Binary.Lattice.Structures
C_constructor_86 
1 (Data Constructor)MAlonzo.Code.Relation.Binary.Morphism.Structures
2 (Data Constructor)MAlonzo.Code.Effect.Functor
C_constructor_878MAlonzo.Code.Algebra.Structures
C_constructor_888MAlonzo.Code.Function.Structures
C_constructor_906MAlonzo.Code.Relation.Binary.Lattice.Bundles
C_constructor_908MAlonzo.Code.Algebra.Bundles
C_constructor_916MAlonzo.Code.Function.Bundles
C_constructor_92MAlonzo.Code.Function.Metric.Nat.Bundles
C_constructor_94 
1 (Data Constructor)MAlonzo.Code.Relation.Binary.Reasoning.Syntax
2 (Data Constructor)MAlonzo.Code.Function.Structures
C_constructor_950MAlonzo.Code.Algebra.Structures
C_constructor_96MAlonzo.Code.Relation.Binary.Lattice.Bundles
C_constructor_978MAlonzo.Code.Relation.Binary.Bundles
C_constructor_98MAlonzo.Code.Effect.Monad
C_constructor_990MAlonzo.Code.Algebra.Bundles
C_constr_142MAlonzo.Code.Declarative
C_constr_18MAlonzo.Code.Untyped.Purity
C_constr_228MAlonzo.Code.Untyped.Reduction
C_constr_240MAlonzo.Code.Algorithmic
C_constr_280MAlonzo.Code.VerifiedCompilation.UInline
C_constr_34MAlonzo.Code.Untyped
C_constr_50MAlonzo.Code.VerifiedCompilation.Trace
C_constr_556MAlonzo.Code.Scoped
C_constr_558MAlonzo.Code.Algorithmic.ReductionEC
C_constr_60MAlonzo.Code.Raw
C_constr_66MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_constr_78MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_conv_156MAlonzo.Code.Declarative
C_con_16MAlonzo.Code.Raw
C_con_162MAlonzo.Code.Declarative
C_con_178MAlonzo.Code.Agda.Builtin.Reflection
C_con_196MAlonzo.Code.Untyped.Reduction
C_con_22MAlonzo.Code.Type.BetaNormal
C_con_244MAlonzo.Code.Agda.Builtin.Reflection
C_con_258MAlonzo.Code.Algorithmic
C_con_266MAlonzo.Code.VerifiedCompilation.UInline
C_con_28MAlonzo.Code.Untyped
C_con_30MAlonzo.Code.Scoped
C_con_36MAlonzo.Code.Type
C_con_44 
1 (Data Constructor)MAlonzo.Code.VerifiedCompilation.Trace
2 (Data Constructor)MAlonzo.Code.Raw
C_con_538MAlonzo.Code.Scoped
C_con_58MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_con_62MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_con_66MAlonzo.Code.Untyped.Purity
C_counterExample_8MAlonzo.Code.VerifiedCompilation
C_Counting_42MAlonzo.Code.Evaluator.Program
C_countSetBits_178MAlonzo.Code.Builtin
C_cseT_18MAlonzo.Code.VerifiedCompilation.Trace
C_cse_14MAlonzo.Code.VerifiedCompilation.UCSE
C_data'45'cons_302MAlonzo.Code.Agda.Builtin.Reflection
C_data'45'type_290MAlonzo.Code.Agda.Builtin.Reflection
C_deBError_578MAlonzo.Code.Scoped
C_decodeUtf8_58MAlonzo.Code.Builtin
C_def_184MAlonzo.Code.Agda.Builtin.Reflection
C_delay'33'_918MAlonzo.Code.VerifiedCompilation.UntypedViews
C_delay_118MAlonzo.Code.VerifiedCompilation.UForceDelay
C_delay_188MAlonzo.Code.Untyped.Reduction
C_delay_26MAlonzo.Code.Untyped
C_delay_262MAlonzo.Code.VerifiedCompilation.UInline
C_delay_36MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_delay_42MAlonzo.Code.VerifiedCompilation.Trace
C_delay_54MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_delay_58MAlonzo.Code.Untyped.Purity
C_divideInteger_10MAlonzo.Code.Builtin
C_divides_34MAlonzo.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_done_526MAlonzo.Code.Untyped.Reduction
C_done_68MAlonzo.Code.VerifiedCompilation.Trace
C_dot_248MAlonzo.Code.Agda.Builtin.Reflection
C_dropList_186MAlonzo.Code.Builtin
C_drop_122MAlonzo.Code.VerifiedCompilation.UInline
C_E'45'error_1176MAlonzo.Code.Algorithmic.CEK
C_E'45'error_346MAlonzo.Code.Algorithmic.ReductionEC
C_emptyDump_4MAlonzo.Code.VerifiedCompilation
C_encodeUtf8_56MAlonzo.Code.Builtin
C_equalsByteString_34MAlonzo.Code.Builtin
C_equalsData_108MAlonzo.Code.Builtin
C_equalsInteger_18MAlonzo.Code.Builtin
C_equalsString_54MAlonzo.Code.Builtin
C_equals_74MAlonzo.Code.Relation.Binary.Reasoning.Base.Double
C_equals_94MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
C_equal_462MAlonzo.Code.Data.Nat.Base
C_equal_488MAlonzo.Code.Data.Fin.Base
C_equivalence_118MAlonzo.Code.Function.Related.Propositional
C_equivalence_12MAlonzo.Code.Function.Related.Propositional
C_equivalence_136MAlonzo.Code.Function.Related.Propositional
C_equivalence_88MAlonzo.Code.Function.Related.Propositional
C_equivalence_98MAlonzo.Code.Function.Related.Propositional
C_error'33'_978MAlonzo.Code.VerifiedCompilation.UntypedViews
C_error'8321'_294MAlonzo.Code.Untyped.Reduction
C_error'8322'_298MAlonzo.Code.Untyped.Reduction
C_error_170MAlonzo.Code.Declarative
C_error_26MAlonzo.Code.Algorithmic.Evaluation
C_error_268MAlonzo.Code.Algorithmic
C_error_292MAlonzo.Code.VerifiedCompilation.UInline
C_error_46 
1 (Data Constructor)MAlonzo.Code.Raw
2 (Data Constructor)MAlonzo.Code.Untyped
C_error_48MAlonzo.Code.VerifiedCompilation.Trace
C_error_50MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_error_540MAlonzo.Code.Scoped
C_error_82MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_EvalOpts_28MAlonzo.Code.Main
C_Eval_40MAlonzo.Code.Main
C_expand_30MAlonzo.Code.VerifiedCompilation.Trace
C_ExpModCost_190MAlonzo.Code.Cost.Raw
C_expModInteger_184MAlonzo.Code.Builtin
C_f'60't_20MAlonzo.Code.Data.Bool.Base
C_f'8804't_12MAlonzo.Code.Data.Bool.Base
C_failure_120MAlonzo.Code.VerifiedCompilation.Trace
C_fail_528MAlonzo.Code.Untyped.Reduction
C_false_8MAlonzo.Code.Agda.Builtin.Bool
C_findFirstSetBit_180MAlonzo.Code.Builtin
C_fixity_30MAlonzo.Code.Agda.Builtin.Reflection
C_FloatArg_10MAlonzo.Code.Text.Format
C_floatDelayT_6MAlonzo.Code.VerifiedCompilation.Trace
C_floatdelay_476MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_float_136MAlonzo.Code.Agda.Builtin.Reflection
C_force'33'_906MAlonzo.Code.VerifiedCompilation.UntypedViews
C_force'45'constr_376MAlonzo.Code.Untyped.Reduction
C_force'45'con_370MAlonzo.Code.Untyped.Reduction
C_force'45'delay_290MAlonzo.Code.Untyped.Reduction
C_force'45'error_300MAlonzo.Code.Untyped.Reduction
C_force'45'interleave'45'error_382MAlonzo.Code.Untyped.Reduction
C_force'45'_206MAlonzo.Code.Untyped.CEK
C_force'45'ƛ_366MAlonzo.Code.Untyped.Reduction
C_forceCaseDelayT_10MAlonzo.Code.VerifiedCompilation.Trace
C_forceDelayT_8MAlonzo.Code.VerifiedCompilation.Trace
C_forcedelay_14MAlonzo.Code.VerifiedCompilation.UForceDelay
C_forced_28MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_force_116MAlonzo.Code.VerifiedCompilation.UForceDelay
C_force_12MAlonzo.Code.Untyped.Purity
C_force_24MAlonzo.Code.Untyped
C_force_258MAlonzo.Code.VerifiedCompilation.UInline
C_force_32MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_force_40MAlonzo.Code.VerifiedCompilation.Trace
C_force_48MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_force_84MAlonzo.Code.VerifiedCompilation.UForceDelay
C_freeVariableError_580MAlonzo.Code.Scoped
C_fstPair_66MAlonzo.Code.Builtin
C_function_284MAlonzo.Code.Agda.Builtin.Reflection
C_gasError_412MAlonzo.Code.Utils
C_gas_6MAlonzo.Code.Algorithmic.Evaluation
C_greater_468MAlonzo.Code.Data.Nat.Base
C_greater_494MAlonzo.Code.Data.Fin.Base
C_halt_48MAlonzo.Code.Data.List.Relation.Binary.Lex.Core
C_hasNonTrivialDivisor_72MAlonzo.Code.Data.Nat.Divisibility.Core
C_headList_74MAlonzo.Code.Builtin
C_here_46MAlonzo.Code.Data.List.Relation.Unary.Any
C_here_52MAlonzo.Code.Data.Vec.Base
C_here_88MAlonzo.Code.Data.List.Relation.Unary.All
C_hidden_52MAlonzo.Code.Agda.Builtin.Reflection
C_iDATA_618MAlonzo.Code.Utils
C_iData_94MAlonzo.Code.Builtin
C_ifThenElse_128MAlonzo.Code.VerifiedCompilation.UForceDelay
C_ifThenElse_60MAlonzo.Code.Builtin
C_illScoped_6MAlonzo.Code.VerifiedCompilation
C_implication_8MAlonzo.Code.Function.Related.Propositional
C_implication_96MAlonzo.Code.Function.Related.Propositional
C_indexArray_84MAlonzo.Code.Builtin
C_indexByteString_32MAlonzo.Code.Builtin
C_IndexOutOfBounds_82MAlonzo.Code.Check
C_inf_236MAlonzo.Code.Agda.Builtin.Reflection
C_inh_1988MAlonzo.Code.VerifiedCompilation.UntypedViews
C_inj'8321'_12MAlonzo.Code.Utils
C_inj'8321'_38MAlonzo.Code.Data.Sum.Base
C_inj'8321'_88MAlonzo.Code.Data.Sum.Relation.Binary.Pointwise
C_inj'8322'_14MAlonzo.Code.Utils
C_inj'8322'_42MAlonzo.Code.Data.Sum.Base
C_inj'8322'_94MAlonzo.Code.Data.Sum.Relation.Binary.Pointwise
C_injection_100MAlonzo.Code.Function.Related.Propositional
C_injection_14MAlonzo.Code.Function.Related.Propositional
C_inlineT_16MAlonzo.Code.VerifiedCompilation.Trace
C_inline_56MAlonzo.Code.VerifiedCompilation.Trace
C_instance'8242'_54MAlonzo.Code.Agda.Builtin.Reflection
C_integerToByteString_158MAlonzo.Code.Builtin
C_integer_30MAlonzo.Code.RawU
C_InvalidType_88MAlonzo.Code.Text.Format.Generic
C_irrelevant_60MAlonzo.Code.Agda.Builtin.Reflection
C_isapp_156MAlonzo.Code.VerifiedCompilation.UntypedViews
C_isbuiltin_706MAlonzo.Code.VerifiedCompilation.UntypedViews
C_iscase_588MAlonzo.Code.VerifiedCompilation.UntypedViews
C_isCoCCase_54MAlonzo.Code.VerifiedCompilation.UCaseOfCase
C_isCoCForce_158MAlonzo.Code.VerifiedCompilation.UCaseOfCase
C_isCoC_26MAlonzo.Code.VerifiedCompilation.UCaseOfCase
C_isconstr_490MAlonzo.Code.VerifiedCompilation.UntypedViews
C_iscon_446MAlonzo.Code.VerifiedCompilation.UntypedViews
C_isdelay_364MAlonzo.Code.VerifiedCompilation.UntypedViews
C_isEquality_130MAlonzo.Code.Relation.Binary.Reasoning.Base.Double
C_isEquality_216MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
C_iserror_742MAlonzo.Code.VerifiedCompilation.UntypedViews
C_isFCD_86MAlonzo.Code.VerifiedCompilation.UForceCaseDelay
C_isforce_278MAlonzo.Code.VerifiedCompilation.UntypedViews
C_islambda_64MAlonzo.Code.VerifiedCompilation.UntypedViews
C_isStrict_180MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
C_isterm_780MAlonzo.Code.VerifiedCompilation.UntypedViews
C_istranslation_92MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_isvar_22MAlonzo.Code.VerifiedCompilation.UntypedViews
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_152MAlonzo.Code.Builtin
C_keep_114MAlonzo.Code.VerifiedCompilation.UInline
C_kindMismatch_18MAlonzo.Code.Check
C_lam_190MAlonzo.Code.Agda.Builtin.Reflection
C_last'45'abs_126MAlonzo.Code.VerifiedCompilation.UForceDelay
C_last'45'delay_124MAlonzo.Code.VerifiedCompilation.UForceDelay
C_leaf_204MAlonzo.Code.Data.Tree.AVL.Indexed
C_left'45'assoc_16MAlonzo.Code.Agda.Builtin.Reflection
C_leftInverse_102MAlonzo.Code.Function.Related.Propositional
C_leftInverse_122MAlonzo.Code.Function.Related.Propositional
C_leftInverse_138MAlonzo.Code.Function.Related.Propositional
C_leftInverse_18MAlonzo.Code.Function.Related.Propositional
C_left_466MAlonzo.Code.Induction.WellFounded
C_Left_94MAlonzo.Code.Data.String.Base
C_lengthOfArray_80MAlonzo.Code.Builtin
C_lengthOfByteString_30MAlonzo.Code.Builtin
C_lessThanByteString_36MAlonzo.Code.Builtin
C_lessThanEqualsByteString_38MAlonzo.Code.Builtin
C_lessThanEqualsInteger_22MAlonzo.Code.Builtin
C_lessThanInteger_20MAlonzo.Code.Builtin
C_less_458MAlonzo.Code.Data.Nat.Base
C_less_484MAlonzo.Code.Data.Fin.Base
C_letFloatOutT_22MAlonzo.Code.VerifiedCompilation.Trace
C_lift_20MAlonzo.Code.Level
C_linearCostIn_16MAlonzo.Code.Cost.Model
C_LinearInMaxYZ_166MAlonzo.Code.Cost.Raw
C_LinearInU_162MAlonzo.Code.Cost.Raw
C_LinearInXAndY_168MAlonzo.Code.Cost.Raw
C_LinearInX_156MAlonzo.Code.Cost.Raw
C_LinearInYAndZ_170MAlonzo.Code.Cost.Raw
C_LinearInY_158MAlonzo.Code.Cost.Raw
C_LinearInZ_160MAlonzo.Code.Cost.Raw
C_ListDATA_616MAlonzo.Code.Utils
C_listData_92MAlonzo.Code.Builtin
C_listToArray_82MAlonzo.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_32MAlonzo.Code.Cost.Model
C_LiteralInYOrLinearInZ_164MAlonzo.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_MapDATA_614MAlonzo.Code.Utils
C_mapData_90MAlonzo.Code.Builtin
C_match'33'_1876MAlonzo.Code.VerifiedCompilation.UntypedViews
C_match_98MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_MaxSize_154MAlonzo.Code.Cost.Raw
C_maxSize_48MAlonzo.Code.Cost.Model
C_meta_152MAlonzo.Code.Agda.Builtin.Reflection
C_meta_214MAlonzo.Code.Agda.Builtin.Reflection
C_MinSize_152MAlonzo.Code.Cost.Raw
C_minSize_44MAlonzo.Code.Cost.Model
C_mkCons_72MAlonzo.Code.Builtin
C_mkCpuAndMemoryModel_202MAlonzo.Code.Cost.Raw
C_mkExBudget_62MAlonzo.Code.Cost
C_mkExpModCostingFunction_142MAlonzo.Code.Cost.Raw
C_mkGeneralizeTel_100371MAlonzo.Code.Data.List.Membership.Setoid.Properties
C_mkGeneralizeTel_10339MAlonzo.Code.Induction.WellFounded
C_mkGeneralizeTel_11673MAlonzo.Code.Function.Properties.Surjection
C_mkGeneralizeTel_159407MAlonzo.Code.Data.List.Membership.Setoid.Properties
C_mkGeneralizeTel_28221MAlonzo.Code.Data.List.Relation.Unary.All.Properties.Core
C_mkGeneralizeTel_32959MAlonzo.Code.Data.List.Membership.Propositional.Properties
C_mkGeneralizeTel_489MAlonzo.Code.Function.Properties.RightInverse
C_mkGeneralizeTel_505MAlonzo.Code.Function.Properties.Surjection
C_mkGeneralizeTel_60373MAlonzo.Code.Data.List.Membership.Propositional.Properties
C_mkGeneralizeTel_6273MAlonzo.Code.Induction.WellFounded
C_mkLinearFunction_42MAlonzo.Code.Cost.Raw
C_mkNilData_114MAlonzo.Code.Builtin
C_mkNilPairData_116MAlonzo.Code.Builtin
C_mkOneVariableQuadraticFunction_58MAlonzo.Code.Cost.Raw
C_mkPairData_112MAlonzo.Code.Builtin
C_mkTwoVariableLinearFunction_74MAlonzo.Code.Cost.Raw
C_mkTwoVariableQuadraticFunction_106MAlonzo.Code.Cost.Raw
C_mkTwoVariableWithInteractionFunction_126MAlonzo.Code.Cost.Raw
C_MkValue_52MAlonzo.Code.Data.Tree.AVL.Value
C_modality_74MAlonzo.Code.Agda.Builtin.Reflection
C_modInteger_16MAlonzo.Code.Builtin
C_MultipliedSizes_150MAlonzo.Code.Cost.Raw
C_multipliedSizes_40MAlonzo.Code.Cost.Model
C_multiplyInteger_8MAlonzo.Code.Builtin
C_nameErr_316MAlonzo.Code.Agda.Builtin.Reflection
C_name_148MAlonzo.Code.Agda.Builtin.Reflection
C_nat_128MAlonzo.Code.Agda.Builtin.Reflection
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_no'45'builtin_6MAlonzo.Code.Untyped.Reduction
C_node_220MAlonzo.Code.Data.Tree.AVL.Indexed
C_non'45'assoc_20MAlonzo.Code.Agda.Builtin.Reflection
C_nonEmpty_466MAlonzo.Code.Relation.Binary.Definitions
C_none_58MAlonzo.Code.VerifiedCompilation.Trace
C_nonstrict_70MAlonzo.Code.Relation.Binary.Reasoning.Base.Double
C_nonstrict_90MAlonzo.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_notImplemented_20MAlonzo.Code.VerifiedCompilation.NotImplemented
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.Reflects
C_of'8319'_26MAlonzo.Code.Relation.Nullary.Reflects
C_orByteString_162MAlonzo.Code.Builtin
C_out'45'of'45'gas_22MAlonzo.Code.Algorithmic.Evaluation
C_pair_14MAlonzo.Code.Builtin.Constant.Type
C_pair_24MAlonzo.Code.Builtin.Signature
C_pair_30MAlonzo.Code.Raw
C_pair_46MAlonzo.Code.RawU
C_parseError_16MAlonzo.Code.Evaluator.Base
C_pat'45'lam_196MAlonzo.Code.Agda.Builtin.Reflection
C_pattErr_314MAlonzo.Code.Agda.Builtin.Reflection
C_pdata_40MAlonzo.Code.RawU
C_pi_202MAlonzo.Code.Agda.Builtin.Reflection
C_pos_10MAlonzo.Code.Agda.Builtin.Int
C_prim'45'fun_306MAlonzo.Code.Agda.Builtin.Reflection
C_proj_260MAlonzo.Code.Agda.Builtin.Reflection
C_proof_18MAlonzo.Code.VerifiedCompilation.Certificate
C_proof_44MAlonzo.Code.VerifiedCompilation.Certificate
C_proof_72MAlonzo.Code.VerifiedCompilation.Certificate
C_propLit_232MAlonzo.Code.Agda.Builtin.Reflection
C_prop_228MAlonzo.Code.Agda.Builtin.Reflection
C_pushfd_24MAlonzo.Code.VerifiedCompilation.UForceDelay
C_quadraticCostIn1_20MAlonzo.Code.Cost.Model
C_quadraticCostIn2_24MAlonzo.Code.Cost.Model
C_QuadraticInXAndY_178MAlonzo.Code.Cost.Raw
C_QuadraticInX_172MAlonzo.Code.Cost.Raw
C_QuadraticInY_174MAlonzo.Code.Cost.Raw
C_QuadraticInZ_176MAlonzo.Code.Cost.Raw
C_quantity'45'0_64MAlonzo.Code.Agda.Builtin.Reflection
C_quantity'45'ω_66MAlonzo.Code.Agda.Builtin.Reflection
C_quotientInteger_12MAlonzo.Code.Builtin
C_Raw_66MAlonzo.Code.Text.Format.Generic
C_readBit_168MAlonzo.Code.Builtin
C_record'45'type_296MAlonzo.Code.Agda.Builtin.Reflection
C_reduce_1212MAlonzo.Code.Untyped.Reduction
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_refl_476MAlonzo.Code.Untyped.Reduction
C_reject_8MAlonzo.Code.VerifiedCompilation.NotImplemented
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_172MAlonzo.Code.Builtin
C_result_1146MAlonzo.Code.Data.Nat.DivMod
C_reverseImplication_10MAlonzo.Code.Function.Related.Propositional
C_reverseImplication_116MAlonzo.Code.Function.Related.Propositional
C_reverseInjection_120MAlonzo.Code.Function.Related.Propositional
C_reverseInjection_16MAlonzo.Code.Function.Related.Propositional
C_right'45'assoc_18MAlonzo.Code.Agda.Builtin.Reflection
C_right_476MAlonzo.Code.Induction.WellFounded
C_Right_98MAlonzo.Code.Data.String.Base
C_ripemd'45'160_182MAlonzo.Code.Builtin
C_rotateByteString_176MAlonzo.Code.Builtin
C_ruleEC_766MAlonzo.Code.Algorithmic.ReductionEC
C_ruleErr_776MAlonzo.Code.Algorithmic.ReductionEC
C_runtimeError_20MAlonzo.Code.Evaluator.Base
C_runtimeTypeError_416MAlonzo.Code.Utils
C_s'8804's_34MAlonzo.Code.Data.Nat.Base
C_sat'45'app'45'builtin_306MAlonzo.Code.Untyped.Reduction
C_sat'45'force'45'builtin_310MAlonzo.Code.Untyped.Reduction
C_scopeError_18MAlonzo.Code.Evaluator.Base
C_serialiseData_110MAlonzo.Code.Builtin
C_set_220MAlonzo.Code.Agda.Builtin.Reflection
C_sha2'45'256_40MAlonzo.Code.Builtin
C_sha3'45'256_42MAlonzo.Code.Builtin
C_shiftByteString_174MAlonzo.Code.Builtin
C_sig_90MAlonzo.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_184MAlonzo.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_522MAlonzo.Code.Untyped.Reduction
C_step_66MAlonzo.Code.VerifiedCompilation.Trace
C_step_80MAlonzo.Code.Algorithmic.ReductionEC.Progress
C_strErr_310MAlonzo.Code.Agda.Builtin.Reflection
C_strict_86MAlonzo.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_182MAlonzo.Code.Cost.Raw
C_subtractInteger_6MAlonzo.Code.Builtin
C_success_118MAlonzo.Code.VerifiedCompilation.Trace
C_suc_12MAlonzo.Code.Agda.Builtin.Nat
C_suc_16MAlonzo.Code.Data.Fin.Base
C_sucΠ_326MAlonzo.Code.Builtin.Signature
C_surjection_104MAlonzo.Code.Function.Related.Propositional
C_surjection_124MAlonzo.Code.Function.Related.Propositional
C_surjection_140MAlonzo.Code.Function.Related.Propositional
C_surjection_20MAlonzo.Code.Function.Related.Propositional
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_110MAlonzo.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_312MAlonzo.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_64MAlonzo.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_threeArgumentsExpModCost_62MAlonzo.Code.Cost.Model
C_TL_50MAlonzo.Code.Evaluator.Program
C_tmCon_206MAlonzo.Code.RawU
C_TooFewCases_88MAlonzo.Code.Check
C_TooFewConstrArgs_86MAlonzo.Code.Check
C_TooManyCases_90MAlonzo.Code.Check
C_TooManyConstrArgs_84MAlonzo.Code.Check
C_tp_816MAlonzo.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_38MAlonzo.Code.VerifiedCompilation.UForceDelay
C_trans_394MAlonzo.Code.Induction.WellFounded
C_trans_484MAlonzo.Code.Untyped.Reduction
C_tree_274MAlonzo.Code.Data.Tree.AVL
C_tri'60'_172MAlonzo.Code.Relation.Binary.Definitions
C_tri'62'_188MAlonzo.Code.Relation.Binary.Definitions
C_tri'8776'_180MAlonzo.Code.Relation.Binary.Definitions
C_true_10MAlonzo.Code.Agda.Builtin.Bool
C_tt_8MAlonzo.Code.Agda.Builtin.Unit
C_twoArgumentsConstAboveDiagonal_52MAlonzo.Code.Cost.Model
C_twoArgumentsConstBelowDiagonal_54MAlonzo.Code.Cost.Model
C_twoArgumentsConstOffDiagonal_56MAlonzo.Code.Cost.Model
C_twoArgumentsLinearInMaxYZ_60MAlonzo.Code.Cost.Model
C_twoArgumentsLinearInYAndZ_58MAlonzo.Code.Cost.Model
C_twoArgumentsSubtractedSizes_50MAlonzo.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_214MAlonzo.Code.RawU
C_UBuiltin_220MAlonzo.Code.RawU
C_UCase_228MAlonzo.Code.RawU
C_UConstr_226MAlonzo.Code.RawU
C_UCon_216MAlonzo.Code.RawU
C_UDelay_222MAlonzo.Code.RawU
C_UError_218MAlonzo.Code.RawU
C_UForce_224MAlonzo.Code.RawU
C_ULambda_212MAlonzo.Code.RawU
C_unBData_106MAlonzo.Code.Builtin
C_unConstrData_98MAlonzo.Code.Builtin
C_UnexpectedEndOfString_86MAlonzo.Code.Text.Format.Generic
C_unIData_104MAlonzo.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_unknown_24MAlonzo.Code.VerifiedCompilation.Trace
C_unListData_102MAlonzo.Code.Builtin
C_unMapData_100MAlonzo.Code.Builtin
C_unrelated_26MAlonzo.Code.Agda.Builtin.Reflection
C_unsat'45'builtin'8320''8331''8321'_36MAlonzo.Code.Untyped.Purity
C_unsat'45'builtin'8320'_30MAlonzo.Code.Untyped.Purity
C_unsat'45'builtin'8321'_44MAlonzo.Code.Untyped.Purity
C_unsat'8320''8331''8321'_214MAlonzo.Code.Untyped.Reduction
C_unsat'8320'_208MAlonzo.Code.Untyped.Reduction
C_unsat'8321'_222MAlonzo.Code.Untyped.Reduction
C_unwrap'45'_1226MAlonzo.Code.Algorithmic.CEK
C_unwrap'45'_398MAlonzo.Code.Algorithmic.ReductionEC
C_unwrap_'47'__534MAlonzo.Code.Algorithmic.ReductionEC
C_unwrap_132MAlonzo.Code.Declarative
C_unwrap_230MAlonzo.Code.Algorithmic
C_unwrap_52MAlonzo.Code.Raw
C_unwrap_548MAlonzo.Code.Scoped
C_userError_414MAlonzo.Code.Utils
C_UVar_210MAlonzo.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_24MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_var_252MAlonzo.Code.Agda.Builtin.Reflection
C_var_26MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_var_28MAlonzo.Code.VerifiedCompilation.Trace
C_var_54MAlonzo.Code.Untyped.Purity
C_verifyEcdsaSecp256k1Signature_48MAlonzo.Code.Builtin
C_verifyEd25519Signature_46MAlonzo.Code.Builtin
C_verifySchnorrSecp256k1Signature_50MAlonzo.Code.Builtin
C_visible_50MAlonzo.Code.Agda.Builtin.Reflection
C_want_8MAlonzo.Code.Untyped.Reduction
C_WithInteractionInXAndY_180MAlonzo.Code.Cost.Raw
C_withInteractionIn_28MAlonzo.Code.Cost.Model
C_word64_132MAlonzo.Code.Agda.Builtin.Reflection
C_wrap'45'_1218MAlonzo.Code.Algorithmic.CEK
C_wrap'45'_390MAlonzo.Code.Algorithmic.ReductionEC
C_wrap_130MAlonzo.Code.Declarative
C_wrap_220MAlonzo.Code.Algorithmic
C_wrap_50MAlonzo.Code.Raw
C_wrap_522MAlonzo.Code.Algorithmic.ReductionEC
C_wrap_546MAlonzo.Code.Scoped
C_writeBits_170MAlonzo.Code.Builtin
C_xorByteString_164MAlonzo.Code.Builtin
C_z'8804'n_26MAlonzo.Code.Data.Nat.Base
C_zero_12MAlonzo.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'__32MAlonzo.Code.VerifiedCompilation.UForceDelay
C__'183''33'__894MAlonzo.Code.VerifiedCompilation.UntypedViews
C__'183''45'_1202MAlonzo.Code.Algorithmic.CEK
C__'183''45'_204MAlonzo.Code.Untyped.CEK
C__'183''45'_374MAlonzo.Code.Algorithmic.ReductionEC
C__'183''8595'_254MAlonzo.Code.VerifiedCompilation.UInline
C__'183''8595'_38MAlonzo.Code.VerifiedCompilation.Trace
C__'183''8902'_'47'__212MAlonzo.Code.Algorithmic
C__'183''8902'_'47'__512MAlonzo.Code.Algorithmic.ReductionEC
C__'183''8902'__124MAlonzo.Code.Declarative
C__'183''8902'__38MAlonzo.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'__196MAlonzo.Code.Algorithmic
C__'183'__22MAlonzo.Code.Untyped
C__'183'__250MAlonzo.Code.VerifiedCompilation.UInline
C__'183'__26MAlonzo.Code.Scoped
C__'183'__30MAlonzo.Code.Type
C__'183'__34MAlonzo.Code.VerifiedCompilation.UInline
C__'183'__36MAlonzo.Code.VerifiedCompilation.Trace
C__'183'__42MAlonzo.Code.Raw
C__'183'__536MAlonzo.Code.Scoped
C__'183'__86MAlonzo.Code.VerifiedCompilation.UForceDelay
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'__12 
1 (Data Constructor)MAlonzo.Code.Untyped.CEK
2 (Data Constructor)MAlonzo.Code.Algorithmic
C__'44'__1274MAlonzo.Code.Algorithmic.CEK
C__'44'__144MAlonzo.Code.Data.Vec.Bounded.Base
C__'44'__26MAlonzo.Code.Declarative
C__'44'__30MAlonzo.Code.Algorithmic.CK
C__'44'__32MAlonzo.Code.Agda.Builtin.Sigma
C__'44'__380MAlonzo.Code.Utils
C__'44'__42MAlonzo.Code.Algebra.Definitions.RawMagma
C__'44'__442MAlonzo.Code.Utils
C__'44'__68MAlonzo.Code.Algebra.Definitions.RawMagma
C__'44'__72MAlonzo.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'_38MAlonzo.Code.Builtin.Signature
C__'8658'__16MAlonzo.Code.Type.BetaNormal
C__'8658'__20MAlonzo.Code.Scoped
C__'8658'__26MAlonzo.Code.Type
C__'8658'__774MAlonzo.Code.Utils
C__'8658'__8MAlonzo.Code.Raw
C__'8759''33'__1902MAlonzo.Code.VerifiedCompilation.UntypedViews
C__'8759''691''8242'__312MAlonzo.Code.Data.List.NonEmpty.Base
C__'8759''691''8242'__468MAlonzo.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'__290MAlonzo.Code.Algorithmic
C__'8759'__314MAlonzo.Code.Utils.List
C__'8759'__34MAlonzo.Code.Data.List.NonEmpty.Base
C__'8759'__38MAlonzo.Code.Data.Vec.Base
C__'8759'__452MAlonzo.Code.Utils
C__'8759'__478MAlonzo.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__'8804''8868''8314'_30MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.NonStrict
C__'8827'toℕ__554MAlonzo.Code.Data.Fin.Base
C__'894'_'9659'__1286MAlonzo.Code.Algorithmic.CEK
C__'894'_'9659'__222MAlonzo.Code.Untyped.CEK
C__'9659'__40MAlonzo.Code.Algorithmic.CK
C__'9666'__250MAlonzo.Code.Data.Integer.Base
C__'9669'__1290MAlonzo.Code.Algorithmic.CEK
C__'9669'__224MAlonzo.Code.Untyped.CEK
C__'9669'__46MAlonzo.Code.Algorithmic.CK
C__B'8658'__302MAlonzo.Code.Builtin.Signature
C__because__32MAlonzo.Code.Relation.Nullary.Decidable.Core
C__l'183'__490MAlonzo.Code.Algorithmic.ReductionEC
C_ƛ'33'_876MAlonzo.Code.VerifiedCompilation.UntypedViews
C_ƛ'8595'_244MAlonzo.Code.VerifiedCompilation.UInline
C_ƛ'8595'_34MAlonzo.Code.VerifiedCompilation.Trace
C_ƛ'8801'β_24MAlonzo.Code.Type.Equality
C_ƛ'9633'_236MAlonzo.Code.VerifiedCompilation.UInline
C_ƛ_116MAlonzo.Code.Declarative
C_ƛ_12MAlonzo.Code.Raw
C_ƛ_18MAlonzo.Code.Type.BetaNormal
C_ƛ_190MAlonzo.Code.Algorithmic
C_ƛ_192MAlonzo.Code.Untyped.Reduction
C_ƛ_20MAlonzo.Code.Untyped
C_ƛ_24MAlonzo.Code.Scoped
C_ƛ_240MAlonzo.Code.VerifiedCompilation.UInline
C_ƛ_28MAlonzo.Code.Type
C_ƛ_32 
1 (Data Constructor)MAlonzo.Code.VerifiedCompilation.Trace
2 (Data Constructor)MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_ƛ_40MAlonzo.Code.Raw
C_ƛ_42MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_ƛ_534MAlonzo.Code.Scoped
C_ƛ_62MAlonzo.Code.Untyped.Purity
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_β_286MAlonzo.Code.Untyped.Reduction
C_ε_10MAlonzo.Code.Untyped.CEK
C_ε_1268MAlonzo.Code.Algorithmic.CEK
C_ε_22MAlonzo.Code.Algorithmic.CK
C_Λ_120MAlonzo.Code.Declarative
C_Λ_202MAlonzo.Code.Algorithmic
C_Λ_36MAlonzo.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_ξ'8321'_266MAlonzo.Code.Untyped.Reduction
C_ξ'8322'_274MAlonzo.Code.Untyped.Reduction
C_ξ'8323'_280MAlonzo.Code.Untyped.Reduction
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