Combined Plutus 1.36.0.0 Documentation

Index - C

cachedBuiltinPlutusCore.Parser.Builtin, PlutusCore.Parser
callSiteInlinePlutusIR.Transform.Inline.CallSiteInline
CannotParseValuePlutusTx.Options
Case 
1 (Data Constructor)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
CaseDataPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
caseDataPlutusTx.Builtins
caseData'PlutusTx.Builtins.Internal, PlutusTx.Builtins
CaseListPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
caseListPlutusTx.Builtins
caseList'PlutusTx.Builtins.Internal, PlutusTx.Builtins
CaseOfCaseUntypedPlutusCore.Transform.Simplifier
caseOfCase 
1 (Function)UntypedPlutusCore.Transform.CaseOfCase
2 (Function)PlutusIR.Transform.CaseOfCase
caseOfCasePassPlutusIR.Transform.CaseOfCase
caseOfCasePassSCPlutusIR.Transform.CaseOfCase
CaseReduceUntypedPlutusCore.Transform.Simplifier
caseReduce 
1 (Function)UntypedPlutusCore.Transform.CaseReduce
2 (Function)PlutusIR.Transform.CaseReduce
caseReducePassPlutusIR.Transform.CaseReduce
catText.Pretty
cataMData.Functor.Foldable.Monadic
catchAllPlutusCore.Test
CBORDeserialiseErrorPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
ccBlackholedPlutusTx.Compiler.Types
ccBuiltinCostModel 
1 (Function)PlutusIR.Compiler.Types, PlutusIR.Compiler
2 (Function)PlutusTx.Compiler.Types
ccBuiltinsInfo 
1 (Function)PlutusIR.Compiler.Types, PlutusIR.Compiler
2 (Function)PlutusTx.Compiler.Types
ccCurDefPlutusTx.Compiler.Types
ccDebugTraceOnPlutusTx.Compiler.Types
ccEnclosingPlutusIR.Compiler.Types, PlutusIR.Compiler
ccFamInstEnvsPlutusTx.Compiler.Types
ccFlagsPlutusTx.Compiler.Types
ccModBreaksPlutusTx.Compiler.Types
ccNameInfoPlutusTx.Compiler.Types
ccOpts 
1 (Function)PlutusIR.Compiler.Types, PlutusIR.Compiler
2 (Function)PlutusTx.Compiler.Types
ccRewriteRules 
1 (Function)PlutusIR.Compiler.Types
2 (Function)PlutusTx.Compiler.Types
ccScopePlutusTx.Compiler.Types
ccTypeCheckConfigPlutusIR.Compiler.Types, PlutusIR.Compiler
ceDocPlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
cekApplyCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekApplyCost'exBudgetCPU 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekApplyCost'exBudgetMemory 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekBudgetSpender 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
cekBuiltinCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekBuiltinCost'exBudgetCPU 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekBuiltinCost'exBudgetMemory 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
cekCaseCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekCaseCost'exBudgetCPUPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekCaseCost'exBudgetMemoryPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
cekConstCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekConstCost'exBudgetCPU 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekConstCost'exBudgetMemory 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
cekConstrCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekConstrCost'exBudgetCPUPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekConstrCost'exBudgetMemoryPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
cekCostModelForVariantPlutusCore.Evaluation.Machine.ExBudgetingDefaults
cekDelayCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekDelayCost'exBudgetCPU 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekDelayCost'exBudgetMemory 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekEmitterUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekEmitterInfo 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekErrorPlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
CekEvaluationExceptionUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CekEvaluationFailureUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CekExTally 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
cekForceCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekForceCost'exBudgetCPU 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekForceCost'exBudgetMemory 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
cekLamCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekLamCost'exBudgetCPU 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekLamCost'exBudgetMemory 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekM 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekMachineCostsUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts, PlutusCore.Evaluation.Machine.CostModelInterface, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CekMachineCostsBase 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekMachineCostsFileAPlutusCore.DataFilePaths
cekMachineCostsFileBPlutusCore.DataFilePaths
cekMachineCostsFileCPlutusCore.DataFilePaths
cekMachineCostsPrefixUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekModelPlutusCore.Executable.Types, PlutusCore.Executable.Common
CekOutOfExErrorUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
cekResultMatchesHaskellValuePlutusTx.Test.Util.Compiled
cekStartupCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekStartupCost'exBudgetCPU 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekStartupCost'exBudgetMemory 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekStateUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
cekStateAnnUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
cekStateContextUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekTransUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
CekUserErrorUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CekValEnvUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekValueUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
cekVarCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekVarCost'exBudgetCPU 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CekVarCost'exBudgetMemory 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
Cert 
1 (Data Constructor)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx
2 (Data Constructor)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx
CertifierPlutusCore.Executable.Types, PlutusCore.Executable.Common
certifierPlutusCore.Executable.Parsers
Certifying 
1 (Data Constructor)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
3 (Data Constructor)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
4 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
CertifyingScript 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
ChangedParameters 
1 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
3 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
4 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
ChangedParamsCardano.Constitution.Validator.Common, Cardano.Constitution.Validator
changPlus1PVPlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions
changPVPlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions
CheckPlutusCore.Generators.NEAT.Term
check 
1 (Function)PlutusCore.Generators.NEAT.Term
2 (Function)PlutusTx.Prelude
checkBiConditionPlutusIR.Pass
checkConditionPlutusIR.Pass
checkEmptyOnPlutusCore.Check.Scoping
checkEvaluationEventPlutusLedgerApi.Test.EvaluationEvent
checkFailsPlutusCore.Test
checkHasFailedErrorPlutusTx.ErrorCodes
checkKind 
1 (Function)PlutusCore.TypeCheck, PlutusCore
2 (Function)PlutusCore.Generators.QuickCheck.Common, PlutusCore.Generators.QuickCheck
checkKindAgdaMAlonzo.Code.Evaluator.Term
checkKindMPlutusCore.TypeCheck.Internal
checkProgram 
1 (Function)PlutusCore.Check.Uniques
2 (Function)PlutusCore.Check.Normal
3 (Function)UntypedPlutusCore.Check.Uniques
4 (Function)PlutusIR.Check.Uniques
checkPurityPlutusIR.Transform.Inline.Utils
checkRespectsScopingPlutusCore.Check.Scoping
checkScopeUntypedPlutusCore.Check.Scope, UntypedPlutusCore
checkScopeInfoPlutusCore.Check.Scoping
checkStarUniverse.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
checkTerm 
1 (Function)PlutusCore.Check.Uniques
2 (Function)PlutusCore.Check.Normal
3 (Function)UntypedPlutusCore.Check.Uniques
4 (Function)PlutusIR.Check.Uniques
checkType 
1 (Function)PlutusCore.TypeCheck, PlutusCore
2 (Function)PlutusIR.TypeCheck
checkTypeAgdaMAlonzo.Code.Evaluator.Term
checkTypeM 
1 (Function)PlutusCore.TypeCheck.Internal
2 (Function)PlutusIR.TypeCheck.Internal
checkTypeOfProgram 
1 (Function)PlutusCore.TypeCheck, PlutusCore
2 (Function)PlutusIR.TypeCheck
check_'42'_478MAlonzo.Code.Utils
check_'91''93'_386MAlonzo.Code.Utils
check_'96'_32MAlonzo.Code.Raw
check_'96'_6MAlonzo.Code.Raw
check_'9839'_480MAlonzo.Code.Utils
check_aBls12'45'381'45'g1'45'element_20MAlonzo.Code.Builtin.Constant.AtomicType
check_aBls12'45'381'45'g2'45'element_22MAlonzo.Code.Builtin.Constant.AtomicType
check_aBls12'45'381'45'mlresult_24MAlonzo.Code.Builtin.Constant.AtomicType
check_aBool_16MAlonzo.Code.Builtin.Constant.AtomicType
check_aBytestring_10MAlonzo.Code.Builtin.Constant.AtomicType
check_aData_18MAlonzo.Code.Builtin.Constant.AtomicType
check_AddedSizes_112MAlonzo.Code.Cost.Raw
check_addInteger_4MAlonzo.Code.Builtin
check_aInteger_8MAlonzo.Code.Builtin.Constant.AtomicType
check_andByteString_154MAlonzo.Code.Builtin
check_appendByteString_24MAlonzo.Code.Builtin
check_appendString_52MAlonzo.Code.Builtin
check_aString_12MAlonzo.Code.Builtin.Constant.AtomicType
check_atomic_24MAlonzo.Code.Raw
check_aUnit_14MAlonzo.Code.Builtin.Constant.AtomicType
check_bDATA_460MAlonzo.Code.Utils
check_bData_90MAlonzo.Code.Builtin
check_blake2b'45'224_148MAlonzo.Code.Builtin
check_blake2b'45'256_44MAlonzo.Code.Builtin
check_bls12'45'381'45'finalVerify_144MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'add_112MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'compress_122MAlonzo.Code.Builtin
check_bls12'45'381'45'g1'45'element_52MAlonzo.Code.RawU
check_bls12'45'381'45'G1'45'equal_118MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'hashToGroup_120MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'neg_114MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'scalarMul_116MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'uncompress_124MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'add_126MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'compress_136MAlonzo.Code.Builtin
check_bls12'45'381'45'g2'45'element_54MAlonzo.Code.RawU
check_bls12'45'381'45'G2'45'equal_132MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'hashToGroup_134MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'neg_128MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'scalarMul_130MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'uncompress_138MAlonzo.Code.Builtin
check_bls12'45'381'45'millerLoop_140MAlonzo.Code.Builtin
check_bls12'45'381'45'mlresult_56MAlonzo.Code.RawU
check_bls12'45'381'45'mulMlResult_142MAlonzo.Code.Builtin
check_bool_36MAlonzo.Code.RawU
check_builtin_46MAlonzo.Code.Raw
check_byteStringToInteger_150MAlonzo.Code.Builtin
check_bytestring_32MAlonzo.Code.RawU
check_caseOfCaseT_8MAlonzo.Code.VerifiedCompilation
check_caseReduceT_10MAlonzo.Code.VerifiedCompilation
check_case_66MAlonzo.Code.Raw
check_chooseData_80MAlonzo.Code.Builtin
check_chooseList_70MAlonzo.Code.Builtin
check_chooseUnit_62MAlonzo.Code.Builtin
check_complementByteString_160MAlonzo.Code.Builtin
check_consByteString_26MAlonzo.Code.Builtin
check_ConstAboveDiagonal_140MAlonzo.Code.Cost.Raw
check_ConstantCost_110MAlonzo.Code.Cost.Raw
check_ConstBelowDiagonal_142MAlonzo.Code.Cost.Raw
check_ConstOffDiagonal_144MAlonzo.Code.Cost.Raw
check_ConstrDATA_452MAlonzo.Code.Utils
check_constrData_82MAlonzo.Code.Builtin
check_constr_58MAlonzo.Code.Raw
check_con_16MAlonzo.Code.Raw
check_con_42MAlonzo.Code.Raw
check_Counting_42MAlonzo.Code.Evaluator.Program
check_countSetBits_172MAlonzo.Code.Builtin
check_cseT_14MAlonzo.Code.VerifiedCompilation
check_deBError_578MAlonzo.Code.Scoped
check_decodeUtf8_58MAlonzo.Code.Builtin
check_divideInteger_10MAlonzo.Code.Builtin
check_encodeUtf8_56MAlonzo.Code.Builtin
check_equalsByteString_34MAlonzo.Code.Builtin
check_equalsData_102MAlonzo.Code.Builtin
check_equalsInteger_18MAlonzo.Code.Builtin
check_equalsString_54MAlonzo.Code.Builtin
check_error_44MAlonzo.Code.Raw
check_EvalOpts_28MAlonzo.Code.Main
check_Eval_40MAlonzo.Code.Main
check_expModInteger_178MAlonzo.Code.Builtin
check_findFirstSetBit_174MAlonzo.Code.Builtin
check_fixity_30MAlonzo.Code.Agda.Builtin.Reflection
check_floatDelayT_4MAlonzo.Code.VerifiedCompilation
check_forceDelayT_6MAlonzo.Code.VerifiedCompilation
check_freeVariableError_580MAlonzo.Code.Scoped
check_fstPair_66MAlonzo.Code.Builtin
check_gasError_350MAlonzo.Code.Utils
check_headList_74MAlonzo.Code.Builtin
check_iDATA_458MAlonzo.Code.Utils
check_iData_88MAlonzo.Code.Builtin
check_ifThenElse_60MAlonzo.Code.Builtin
check_indexByteString_32MAlonzo.Code.Builtin
check_inj'8321'_12MAlonzo.Code.Utils
check_inj'8322'_14MAlonzo.Code.Utils
check_inlineT_12MAlonzo.Code.VerifiedCompilation
check_integerToByteString_152MAlonzo.Code.Builtin
check_integer_30MAlonzo.Code.RawU
check_jsonError_22MAlonzo.Code.Evaluator.Base
check_keccak'45'256_146MAlonzo.Code.Builtin
check_left'45'assoc_16MAlonzo.Code.Agda.Builtin.Reflection
check_lengthOfByteString_30MAlonzo.Code.Builtin
check_lessThanByteString_36MAlonzo.Code.Builtin
check_lessThanEqualsByteString_38MAlonzo.Code.Builtin
check_lessThanEqualsInteger_22MAlonzo.Code.Builtin
check_lessThanInteger_20MAlonzo.Code.Builtin
check_LinearInMaxYZ_128MAlonzo.Code.Cost.Raw
check_LinearInX_120MAlonzo.Code.Cost.Raw
check_LinearInYAndZ_130MAlonzo.Code.Cost.Raw
check_LinearInY_122MAlonzo.Code.Cost.Raw
check_LinearInZ_124MAlonzo.Code.Cost.Raw
check_ListDATA_456MAlonzo.Code.Utils
check_listData_86MAlonzo.Code.Builtin
check_list_26MAlonzo.Code.Raw
check_list_50MAlonzo.Code.RawU
check_LiteralInYOrLinearInZ_126MAlonzo.Code.Cost.Raw
check_MapDATA_454MAlonzo.Code.Utils
check_mapData_84MAlonzo.Code.Builtin
check_MaxSize_118MAlonzo.Code.Cost.Raw
check_MinSize_116MAlonzo.Code.Cost.Raw
check_mkCons_72MAlonzo.Code.Builtin
check_mkCpuAndMemoryModel_156MAlonzo.Code.Cost.Raw
check_mkLinearFunction_42MAlonzo.Code.Cost.Raw
check_mkNilData_108MAlonzo.Code.Builtin
check_mkNilPairData_110MAlonzo.Code.Builtin
check_mkOneVariableQuadraticFunction_58MAlonzo.Code.Cost.Raw
check_mkPairData_106MAlonzo.Code.Builtin
check_mkTwoVariableLinearFunction_74MAlonzo.Code.Cost.Raw
check_mkTwoVariableQuadraticFunction_106MAlonzo.Code.Cost.Raw
check_modInteger_16MAlonzo.Code.Builtin
check_MultipliedSizes_114MAlonzo.Code.Cost.Raw
check_multiplyInteger_8MAlonzo.Code.Builtin
check_non'45'assoc_20MAlonzo.Code.Agda.Builtin.Reflection
check_nullList_78MAlonzo.Code.Builtin
check_orByteString_156MAlonzo.Code.Builtin
check_pair_28MAlonzo.Code.Raw
check_pair_46MAlonzo.Code.RawU
check_parseError_16MAlonzo.Code.Evaluator.Base
check_pdata_40MAlonzo.Code.RawU
check_QuadraticInXAndY_136MAlonzo.Code.Cost.Raw
check_QuadraticInY_132MAlonzo.Code.Cost.Raw
check_QuadraticInZ_134MAlonzo.Code.Cost.Raw
check_quotientInteger_12MAlonzo.Code.Builtin
check_readBit_162MAlonzo.Code.Builtin
check_related_24MAlonzo.Code.Agda.Builtin.Reflection
check_remainderInteger_14MAlonzo.Code.Builtin
check_replicateByte_166MAlonzo.Code.Builtin
check_right'45'assoc_18MAlonzo.Code.Agda.Builtin.Reflection
check_ripemd'45'160_176MAlonzo.Code.Builtin
check_rotateByteString_170MAlonzo.Code.Builtin
check_runtimeError_20MAlonzo.Code.Evaluator.Base
check_runtimeTypeError_354MAlonzo.Code.Utils
check_scopeError_18MAlonzo.Code.Evaluator.Base
check_serialiseData_104MAlonzo.Code.Builtin
check_sha2'45'256_40MAlonzo.Code.Builtin
check_sha3'45'256_42MAlonzo.Code.Builtin
check_shiftByteString_168MAlonzo.Code.Builtin
check_Silent_40MAlonzo.Code.Evaluator.Program
check_sliceByteString_28MAlonzo.Code.Builtin
check_sndPair_68MAlonzo.Code.Builtin
check_SOP_22MAlonzo.Code.Raw
check_string_34MAlonzo.Code.RawU
check_SubtractedSizes_138MAlonzo.Code.Cost.Raw
check_subtractInteger_6MAlonzo.Code.Builtin
check_tagCon_62MAlonzo.Code.RawU
check_tailList_76MAlonzo.Code.Builtin
check_Tallying_44MAlonzo.Code.Evaluator.Program
check_TCEK_54MAlonzo.Code.Evaluator.Program
check_TCK_52MAlonzo.Code.Evaluator.Program
check_TCOpts_32MAlonzo.Code.Main
check_TL_50MAlonzo.Code.Evaluator.Program
check_trace_64MAlonzo.Code.Builtin
check_tt_8MAlonzo.Code.Agda.Builtin.Unit
check_Typecheck_42MAlonzo.Code.Main
check_typeError_14MAlonzo.Code.Evaluator.Base
check_UApp_152MAlonzo.Code.RawU
check_UBuiltin_158MAlonzo.Code.RawU
check_UCase_166MAlonzo.Code.RawU
check_UConstr_164MAlonzo.Code.RawU
check_UCon_154MAlonzo.Code.RawU
check_UDelay_160MAlonzo.Code.RawU
check_UError_156MAlonzo.Code.RawU
check_UForce_162MAlonzo.Code.RawU
check_ULambda_150MAlonzo.Code.RawU
check_unBData_100MAlonzo.Code.Builtin
check_unConstrData_92MAlonzo.Code.Builtin
check_unIData_98MAlonzo.Code.Builtin
check_unit_38MAlonzo.Code.RawU
check_unListData_96MAlonzo.Code.Builtin
check_unMapData_94MAlonzo.Code.Builtin
check_unrelated_26MAlonzo.Code.Agda.Builtin.Reflection
check_unwrap_50MAlonzo.Code.Raw
check_userError_352MAlonzo.Code.Utils
check_UVar_148MAlonzo.Code.RawU
check_U_48MAlonzo.Code.Evaluator.Program
check_verifyEcdsaSecp256k1Signature_48MAlonzo.Code.Builtin
check_verifyEd25519Signature_46MAlonzo.Code.Builtin
check_verifySchnorrSecp256k1Signature_50MAlonzo.Code.Builtin
check_wrap_48MAlonzo.Code.Raw
check_writeBits_164MAlonzo.Code.Builtin
check_xorByteString_158MAlonzo.Code.Builtin
check__'183''8902'__36MAlonzo.Code.Raw
check__'183'__14MAlonzo.Code.Raw
check__'183'__40MAlonzo.Code.Raw
check__'44'__378MAlonzo.Code.Utils
check__'8658'__482MAlonzo.Code.Utils
check__'8658'__8MAlonzo.Code.Raw
check__'8759'__388MAlonzo.Code.Utils
check_ƛ_12MAlonzo.Code.Raw
check_ƛ_38MAlonzo.Code.Raw
check_Λ_34MAlonzo.Code.Raw
check_μ_18MAlonzo.Code.Raw
check_Π_10MAlonzo.Code.Raw
choiceDefPlutusCore.Generators.Hedgehog.Utils, PlutusCore.Generators.Hedgehog
choosePlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
ChooseDataPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
chooseData 
1 (Function)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins
ChooseData'cpu'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ChooseData'memory'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
chooseIntegerPreferEndsPlutusCore.Generators.QuickCheck.Builtin
ChooseListPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
chooseListPlutusTx.Builtins.Internal
ChooseList'cpu'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ChooseList'memory'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ChooseUnitPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
chooseUnitPlutusTx.Builtins.Internal
ChooseUnit'cpu'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ChooseUnit'memory'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
churchConcatPlutusCore.Examples.Data.Vec
churchConsPlutusCore.Examples.Data.Vec
churchNatPlutusCore.StdLib.Data.ChurchNat
churchNilPlutusCore.Examples.Data.Vec
churchSuccPlutusCore.StdLib.Data.ChurchNat
churchVecPlutusCore.Examples.Data.Vec
churchZeroPlutusCore.StdLib.Data.ChurchNat
CkEvaluationExceptionPlutusCore.Evaluation.Machine.Ck
CkMPlutusCore.Evaluation.Machine.Ck
CkPPlutusCore.Generators.NEAT.Spec
CkValuePlutusCore.Evaluation.Machine.Ck
ClassicPlutusCore.Executable.Types, PlutusCore.Executable.Common
clearBuiltinCostModel 
1 (Function)PlutusLedgerApi.Test.V3.Data.EvaluationContext
2 (Function)PlutusLedgerApi.Test.V2.Data.EvaluationContext
3 (Function)PlutusLedgerApi.Test.V1.Data.EvaluationContext
4 (Function)PlutusLedgerApi.Test.V3.EvaluationContext
5 (Function)PlutusLedgerApi.Test.V2.EvaluationContext
6 (Function)PlutusLedgerApi.Test.V1.EvaluationContext
clearMachineCostModel 
1 (Function)PlutusLedgerApi.Test.V3.Data.EvaluationContext
2 (Function)PlutusLedgerApi.Test.V2.Data.EvaluationContext
3 (Function)PlutusLedgerApi.Test.V1.Data.EvaluationContext
4 (Function)PlutusLedgerApi.Test.V3.EvaluationContext
5 (Function)PlutusLedgerApi.Test.V2.EvaluationContext
6 (Function)PlutusLedgerApi.Test.V1.EvaluationContext
ClosedUniverse.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
ClosedTermGPlutusCore.Generators.NEAT.Term
ClosedTypeGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
ClosurePlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
cmActualPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common
CmdUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
cmExpectedPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common
CMInternalReadErrorPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
CMInternalWriteErrorPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
CMTooFewParamsWarnPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common
CMTooManyParamsWarnPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common
CMUnknownParamErrorPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
coBuiltinSemanticsVariantPlutusCore.Compiler.Opts, PlutusCore.Compiler
coCaseOfCaseConservativePlutusIR.Compiler.Types, PlutusIR.Compiler
coCoveragePlutusTx.Compiler.Types
coDatatypesPlutusIR.Compiler.Types, PlutusIR.Compiler
coDebugPlutusIR.Compiler.Types, PlutusIR.Compiler
CodecErrorPlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
coDoSimplifierBetaPlutusIR.Compiler.Types, PlutusIR.Compiler
coDoSimplifierCaseOfCasePlutusIR.Compiler.Types
coDoSimplifierCaseReducePlutusIR.Compiler.Types
coDoSimplifierEvaluateBuiltinsPlutusIR.Compiler.Types, PlutusIR.Compiler
coDoSimplifierInlinePlutusIR.Compiler.Types, PlutusIR.Compiler
coDoSimplifierKnownConPlutusIR.Compiler.Types, PlutusIR.Compiler
coDoSimplifierRemoveDeadBindingsPlutusIR.Compiler.Types
coDoSimplifierRewritePlutusIR.Compiler.Types, PlutusIR.Compiler
coDoSimplifierStrictifyBindingsPlutusIR.Compiler.Types, PlutusIR.Compiler
coDoSimplifierUnwrapCancelPlutusIR.Compiler.Types, PlutusIR.Compiler
coeMAlonzo.RTE
coeff00_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff01_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff02_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff0_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff10_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff11_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff1_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff20_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff2_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
Coefficient0 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient00 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient01 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient02 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient1 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient10 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient11 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient2 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient20 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
coercePlutusPrelude
coerceArgPlutusPrelude
coerceResPlutusPrelude
coerceViaPlutusPrelude
CoerciblePlutusPrelude
coInlineConstantsPlutusIR.Compiler.Types
coInlineHintsPlutusIR.Compiler.Types, PlutusIR.Compiler
ColdCommitteeCredential 
1 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
3 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
4 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
CollectScopeInfoPlutusCore.Check.Scoping
collectScopeInfoPlutusCore.Check.Scoping
colonText.Pretty
columnText.Pretty
coMaxSimplifierIterationsPlutusIR.Compiler.Types, PlutusIR.Compiler
CommaPlutusCore.Examples.Builtins
commaText.Pretty
CommandOpts
commandsOpts
commentPlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
Committee 
1 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
3 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
4 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
committeeMembers 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
committeeQuorum 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
CommitteeVoter 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
commuteFnWithConstPlutusIR.Transform.RewriteRules.CommuteFnWithConst
comparePlutusTx.Ord, PlutusTx.Prelude
compareAlphaEqPlutusConformance.Common
CompilationCtx 
1 (Type/Class)PlutusIR.Compiler.Types, PlutusIR.Compiler
2 (Data Constructor)PlutusIR.Compiler.Types
CompilationError 
1 (Data Constructor)PlutusIR.Compiler.Error
2 (Data Constructor)PlutusIR.Error, PlutusIR.Compiler
3 (Data Constructor)PlutusTx.Compiler.Error
CompilationOpts 
1 (Type/Class)PlutusCore.Compiler.Opts, PlutusCore.Compiler
2 (Data Constructor)PlutusCore.Compiler.Opts, PlutusCore.Compiler
3 (Type/Class)PlutusIR.Compiler.Types, PlutusIR.Compiler
4 (Data Constructor)PlutusIR.Compiler.Types, PlutusIR.Compiler
compilePlutusTx.TH, PlutusTx
CompileContext 
1 (Type/Class)PlutusTx.Compiler.Types
2 (Data Constructor)PlutusTx.Compiler.Types
compileDataConRefPlutusTx.Compiler.Expr
compileDatatypePlutusIR.Compiler.Datatype
compileDatatypeDefsPlutusIR.Compiler.Datatype
CompiledCodePlutusTx.Code, PlutusTx
CompiledCodeInPlutusTx.Code, PlutusTx
compiledCodeToTermPlutusTx.Test.Util.Compiled
CompiledValidatorPlutusTx.Blueprint.Validator, PlutusTx.Blueprint
compiledValidatorPlutusTx.Blueprint.Validator, PlutusTx.Blueprint
compiledValidatorCodePlutusTx.Blueprint.Validator, PlutusTx.Blueprint
compiledValidatorHashPlutusTx.Blueprint.Validator, PlutusTx.Blueprint
CompileErrorPlutusTx.Compiler.Error
compileExprPlutusTx.Compiler.Expr
compileExprWithDefsPlutusTx.Compiler.Expr
compileKindPlutusTx.Compiler.Kind, PlutusTx.Compiler.Type
compileLetsPlutusIR.Compiler.Let
compileLetsPassPlutusIR.Compiler.Let
compileLetsPassSCPlutusIR.Compiler.Let
compileNameFreshPlutusTx.Compiler.Names
compileNonStrictBindingsPlutusIR.Transform.NonStrict
compileNonStrictBindingsPassPlutusIR.Transform.NonStrict
compileNonStrictBindingsPassSCPlutusIR.Transform.NonStrict
CompileOptions 
1 (Type/Class)PlutusTx.Compiler.Types
2 (Data Constructor)PlutusTx.Compiler.Types
compileProgram 
1 (Function)PlutusCore.Compiler
2 (Function)PlutusIR.Compiler
compileReadableToPlcPlutusIR.Compiler
compileRecDatatypesPlutusIR.Compiler.Datatype
compileRecTermsPlutusIR.Compiler.Recursion
CompileState 
1 (Type/Class)PlutusTx.Compiler.Types
2 (Data Constructor)PlutusTx.Compiler.Types
compileTcTyVarFreshPlutusTx.Compiler.Names
compileTermPlutusCore.Compiler
compileToReadablePlutusIR.Compiler
compileTyNameFreshPlutusTx.Compiler.Names
compileTypePlutusTx.Compiler.Type
compileTypeNormPlutusTx.Compiler.Type
compileTyVarFreshPlutusTx.Compiler.Names
compileUntypedPlutusTx.TH, PlutusTx
compileVarFreshPlutusTx.Compiler.Names
compileVarWithTyFreshPlutusTx.Compiler.Names
compileWithOptsPlutusIR.Test
Compiling 
1 (Type/Class)PlutusCore.Compiler.Types
2 (Type/Class)PlutusIR.Compiler.Types, PlutusIR.Compiler
3 (Type/Class)PlutusTx.Compiler.Types
CompilingDefaultPlutusTx.Compiler.Types
ComplementByteStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
complementByteString 
1 (Function)PlutusCore.Bitwise
2 (Function)PlutusTx.Builtins.Internal
3 (Function)PlutusTx.Builtins, PlutusTx.Prelude
ComplementByteString'cpu'arguments'interceptPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ComplementByteString'cpu'arguments'slopePlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ComplementByteString'memory'arguments'interceptPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ComplementByteString'memory'arguments'slopePlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
compoundDocMPlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.PrettyBy.Fixity
CompoundPassPlutusIR.Pass
compress 
1 (Function)PlutusCore.Crypto.BLS12_381.G2
2 (Function)PlutusCore.Crypto.BLS12_381.G1
compressedSizeBytes 
1 (Function)PlutusCore.Crypto.BLS12_381.G2
2 (Function)PlutusCore.Crypto.BLS12_381.G1
compressed_generator 
1 (Function)PlutusCore.Crypto.BLS12_381.G2
2 (Function)PlutusCore.Crypto.BLS12_381.G1
compressed_zero 
1 (Function)PlutusCore.Crypto.BLS12_381.G2
2 (Function)PlutusCore.Crypto.BLS12_381.G1
computeCekUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ComputingUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
con0xBSPlutusCore.Parser.Builtin, PlutusCore.Parser
conBLS12_381_G1_ElementPlutusCore.Parser.Builtin, PlutusCore.Parser
conBLS12_381_G2_ElementPlutusCore.Parser.Builtin, PlutusCore.Parser
conBoolPlutusCore.Parser.Builtin, PlutusCore.Parser
conBSPlutusCore.Parser.Builtin, PlutusCore.Parser
ConcatPlutusTx.Blueprint.Definition.TF
concat 
1 (Function)PlutusTx.List
2 (Function)PlutusTx.Foldable, PlutusTx.Prelude
concatBuiltinStringsPlutusTx.Show.TH
concatMap 
1 (Function)PlutusTx.List
2 (Function)PlutusTx.Foldable, PlutusTx.Prelude
concatWithText.Pretty
conDataPlutusCore.Parser.Builtin, PlutusCore.Parser
conDataNoParensPlutusCore.Parser.Builtin, PlutusCore.Parser
CondensedErrorsPlutusCore.Pretty.Plc, PlutusCore.Pretty
CondensedErrorsNoPlutusCore.Pretty.Plc, PlutusCore.Pretty
CondensedErrorsYesPlutusCore.Pretty.Plc, PlutusCore.Pretty
ConditionPlutusIR.Pass
conIntegerPlutusCore.Parser.Builtin, PlutusCore.Parser
conListPlutusCore.Parser.Builtin, PlutusCore.Parser
conPairPlutusCore.Parser.Builtin, PlutusCore.Parser
Cons 
1 (Data Constructor)Data.RandomAccessList.SkewBinary
2 (Data Constructor)Data.RandomAccessList.SkewBinarySlab
cons 
1 (Function)PlutusCore.StdLib.Data.ScottList
2 (Function)Data.RandomAccessList.Class
consAnnIfPlutusCore.Pretty.Classic, PlutusCore.Pretty
ConsByteStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
consByteString 
1 (Function)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins, PlutusTx.Prelude
ConsByteString'cpu'arguments'intercept 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ConsByteString'cpu'arguments'slope 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ConsByteString'memory'arguments'intercept 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ConsByteString'memory'arguments'slope 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
consSlab 
1 (Function)Data.RandomAccessList.Class
2 (Function)Data.RandomAccessList.SkewBinarySlab
ConsStackUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ConstPlutusCore.Examples.Builtins
const 
1 (Function)PlutusCore.StdLib.Data.Function
2 (Function)PlutusTx.Base, PlutusTx.Prelude
const0UntypedPlutusCore.Test.DeBruijn.Good
ConstAboveDiagonalPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
Constant 
1 (Data Constructor)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
constant 
1 (Function)PlutusCore.MkPlc, PlutusIR.MkPir
2 (Function)PlutusCore.Parser.Builtin, PlutusCore.Parser
ConstantCostPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
ConstantGPlutusCore.Generators.NEAT.Term
constantIsSerializablePlutusIR.Analysis.Builtins
constantOfPlutusCore.Parser.Builtin, PlutusCore.Parser
ConstBelowDiagonalPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
ConstConditionPlutusIR.Pass
ConstConfig 
1 (Type/Class)PlutusCore.Pretty.PrettyConst, PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty.PrettyConst, PlutusCore.Pretty
Constitution 
1 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
3 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
4 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
ConstitutionConfig 
1 (Type/Class)Cardano.Constitution.Config.Types, Cardano.Constitution.Config
2 (Data Constructor)Cardano.Constitution.Config.Types, Cardano.Constitution.Config
constitutionScript 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
ConstitutionValidatorCardano.Constitution.Validator.Common, Cardano.Constitution.Validator
constitutionValidator 
1 (Function)Cardano.Constitution.Validator.Unsorted
2 (Function)Cardano.Constitution.Validator.Sorted
ConstOffDiagonalPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
constPartialPlutusCore.StdLib.Meta.Data.Function
Constr 
1 (Data Constructor)PlutusCore.Data, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx
2 (Data Constructor)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
3 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
4 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
constrPlutusCore.MkPlc, PlutusIR.MkPir
ConstrDataPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
ConstrData'cpu'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ConstrData'memory'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
constrTypesPlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
ConstructorPlutusIR.Compiler.Provenance, PlutusIR.Compiler
ConstructorSchemaPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
ConstructorTypePlutusIR.Compiler.Provenance, PlutusIR.Compiler
ContainerPlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
ContainsUniverse.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
containsPlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1
Context 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.Internal
2 (Type/Class)UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
3 (Type/Class)PlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1
4 (Data Constructor)PlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1
conTextPlutusCore.Parser.Builtin, PlutusCore.Parser
contextAnnUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ContinueUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
ContractBlueprintPlutusTx.Blueprint.Contract, PlutusTx.Blueprint
contractDefinitionsPlutusTx.Blueprint.Contract, PlutusTx.Blueprint
contractIdPlutusTx.Blueprint.Contract, PlutusTx.Blueprint
contractPreamblePlutusTx.Blueprint.Contract, PlutusTx.Blueprint
contractValidatorsPlutusTx.Blueprint.Contract, PlutusTx.Blueprint
conUnitPlutusCore.Parser.Builtin, PlutusCore.Parser
conv 
1 (Function)Raw
2 (Function)Untyped
convertClosedTermPlutusCore.Generators.NEAT.Term
convertClosedTypePlutusCore.Generators.NEAT.Term
ConvertOptions 
1 (Type/Class)PlutusCore.Executable.Types, PlutusCore.Executable.Common
2 (Data Constructor)PlutusCore.Executable.Types, PlutusCore.Executable.Common
convertOptsPlutusCore.Executable.Parsers
convertToEitherStringPlutusIR.Pass.Test
convKRaw
convP 
1 (Function)Raw
2 (Function)Untyped
convTRaw
convTyConRaw
coOptimizePlutusIR.Compiler.Types, PlutusIR.Compiler
coPedanticPlutusIR.Compiler.Types, PlutusIR.Compiler
coPreserveLoggingPlutusIR.Compiler.Types, PlutusIR.Compiler
coProfile 
1 (Function)PlutusIR.Compiler.Types, PlutusIR.Compiler
2 (Function)PlutusTx.Compiler.Types
coRelaxedFloatinPlutusIR.Compiler.Types, PlutusIR.Compiler
coRemoveTracePlutusTx.Compiler.Types
CoreNameLookupErrorPlutusTx.Compiler.Error
coSimplifyOptsPlutusCore.Compiler.Opts, PlutusCore.Compiler
CostConsPlutusCore.Evaluation.Machine.CostStream
CostingFun 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
costingFunCpuPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
costingFunMemoryPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
CostingIntegerPlutusCore.Evaluation.Machine.ExMemory
CostingPartPlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin, PlutusCore.Builtin.Debug, PlutusCore.Builtin.Debug
costIsAcceptablePlutusIR.Transform.Inline.Utils
CostLastPlutusCore.Evaluation.Machine.CostStream
CostModel 
1 (Type/Class)PlutusCore.Evaluation.Machine.MachineParameters
2 (Data Constructor)PlutusCore.Evaluation.Machine.MachineParameters
3 (Type/Class)Opts
CostModelApplyErrorPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
CostModelApplyWarnPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common
costModelDataDirPlutusCore.DataFilePaths
CostModelParameterMismatchPlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
CostModelParamsPlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
costModelParamsForTesting 
1 (Function)PlutusLedgerApi.Test.V3.Data.EvaluationContext
2 (Function)PlutusLedgerApi.Test.V2.Data.EvaluationContext
3 (Function)PlutusLedgerApi.Test.V1.Data.EvaluationContext
4 (Function)PlutusLedgerApi.Test.V3.EvaluationContext
5 (Function)PlutusLedgerApi.Test.V2.EvaluationContext
6 (Function)PlutusLedgerApi.Test.V1.EvaluationContext
CostRose 
1 (Type/Class)PlutusCore.Evaluation.Machine.ExMemoryUsage
2 (Data Constructor)PlutusCore.Evaluation.Machine.ExMemoryUsage
CostStreamPlutusCore.Evaluation.Machine.CostStream
coTypecheckPlutusIR.Compiler.Types, PlutusIR.Compiler
CounterSizeUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CountingOpts
countingUntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
countingbudgetOpts
CountingSt 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CountSetBitsPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
countSetBits 
1 (Function)PlutusCore.Bitwise
2 (Function)PlutusTx.Builtins.Internal
3 (Function)PlutusTx.Builtins, PlutusTx.Prelude
CountSetBits'cpu'arguments'interceptPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CountSetBits'cpu'arguments'slopePlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CountSetBits'memory'argumentsPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
CoverageAnnotationPlutusTx.Coverage
coverageAnnotationsPlutusTx.Coverage
CoverageData 
1 (Type/Class)PlutusTx.Coverage
2 (Data Constructor)PlutusTx.Coverage
coverageDataFromLogMsgPlutusTx.Coverage
CoverageIndex 
1 (Type/Class)PlutusTx.Coverage
2 (Data Constructor)PlutusTx.Coverage
CoverageMetadata 
1 (Type/Class)PlutusTx.Coverage
2 (Data Constructor)PlutusTx.Coverage
coverageMetadataPlutusTx.Coverage
CoverageOpts 
1 (Type/Class)PlutusTx.Compiler.Types
2 (Data Constructor)PlutusTx.Compiler.Types
CoverageReport 
1 (Type/Class)PlutusTx.Coverage
2 (Data Constructor)PlutusTx.Coverage
CoverageTypePlutusTx.Compiler.Types
CoverBoolPlutusTx.Coverage
coVerbosePlutusIR.Compiler.Types, PlutusIR.Compiler
coveredAnnotationsPlutusTx.Coverage
CoverLocationPlutusTx.Coverage
cover_'8868'_6MAlonzo.Code.Agda.Builtin.Unit
cover_Associativity_14MAlonzo.Code.Agda.Builtin.Reflection
cover_AtomicTyCon_6MAlonzo.Code.Builtin.Constant.AtomicType
cover_BudgetMode_36MAlonzo.Code.Evaluator.Program
cover_Builtin_2MAlonzo.Code.Builtin
cover_Command_36MAlonzo.Code.Main
cover_CpuAndMemoryModel_146MAlonzo.Code.Cost.Raw
cover_DATA_450MAlonzo.Code.Utils
cover_Either_6MAlonzo.Code.Utils
cover_ERROR_12MAlonzo.Code.Evaluator.Base
cover_Esc_24MAlonzo.Code.RawU
cover_EvalMode_46MAlonzo.Code.Evaluator.Program
cover_EvalOptions_24MAlonzo.Code.Main
cover_Fixity_28MAlonzo.Code.Agda.Builtin.Reflection
cover_Kind_476MAlonzo.Code.Utils
cover_LinearFunction_32MAlonzo.Code.Cost.Raw
cover_List_382MAlonzo.Code.Utils
cover_OneVariableQuadraticFunction_44MAlonzo.Code.Cost.Raw
cover_Precedence_22MAlonzo.Code.Agda.Builtin.Reflection
cover_RawModel_108MAlonzo.Code.Cost.Raw
cover_RawTm_30MAlonzo.Code.Raw
cover_RawTyCon_4MAlonzo.Code.Raw
cover_RawTy_2MAlonzo.Code.Raw
cover_RuntimeError_348MAlonzo.Code.Utils
cover_ScopeError_576MAlonzo.Code.Scoped
cover_SimplifierTag_2MAlonzo.Code.VerifiedCompilation
cover_TagCon_58MAlonzo.Code.RawU
cover_Tag_28MAlonzo.Code.RawU
cover_TwoVariableLinearFunction_60MAlonzo.Code.Cost.Raw
cover_TwoVariableQuadraticFunction_76MAlonzo.Code.Cost.Raw
cover_TypecheckOptions_30MAlonzo.Code.Main
cover_Untyped_146MAlonzo.Code.RawU
cover__'215'__364MAlonzo.Code.Utils
CovLoc 
1 (Type/Class)PlutusTx.Coverage
2 (Data Constructor)PlutusTx.Coverage
covLocEndColPlutusTx.Coverage
covLocEndLinePlutusTx.Coverage
covLocFilePlutusTx.Coverage
covLocStartColPlutusTx.Coverage
covLocStartLinePlutusTx.Coverage
CpuAndMemoryModel 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
cpuModelPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
CredentialPlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
CSEUntypedPlutusCore.Transform.Simplifier
cseUntypedPlutusCore.Transform.Cse
csNextStepPlutusTx.Compiler.Types
csPreviousStepsPlutusTx.Compiler.Types
Ctrex 
1 (Type/Class)PlutusCore.Generators.NEAT.Spec
2 (Data Constructor)PlutusCore.Generators.NEAT.Spec
CtrexKindCheckFailPlutusCore.Generators.NEAT.Spec
CtrexKindMismatchPlutusCore.Generators.NEAT.Spec
CtrexKindPreservationFailPlutusCore.Generators.NEAT.Spec
CtrexNormalizeConvertCommuteTypesPlutusCore.Generators.NEAT.Spec
CtrexNormalTypesCannotReducePlutusCore.Generators.NEAT.Spec
CtrexTermEvaluationFailPlutusCore.Generators.NEAT.Spec
CtrexTermEvaluationMismatchPlutusCore.Generators.NEAT.Spec
CtrexTypeCheckFailPlutusCore.Generators.NEAT.Spec
CtrexTypeNormalizationFailPlutusCore.Generators.NEAT.Spec
CtrexTypeNormalizationMismatchPlutusCore.Generators.NEAT.Spec
CtrexTypePreservationFailPlutusCore.Generators.NEAT.Spec
CtrexUntypedTermEvaluationMismatchPlutusCore.Generators.NEAT.Spec
CurrencySymbol 
1 (Type/Class)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
3 (Type/Class)PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
4 (Data Constructor)PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
currencySymbol 
1 (Function)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V1.Data.Value
currencySymbolValueOf 
1 (Function)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V1.Data.Value
currentLevelPlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
curryPlutusTx.Base, PlutusTx.Prelude
CustomPlutusIR.Pass
CustomBiPlutusIR.Pass
cutoffUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
C_'183''8801'β_26MAlonzo.Code.Type.Equality
C_'42'_478MAlonzo.Code.Utils
C_'43''60''43'_72MAlonzo.Code.Data.Integer.Base
C_'43''8804''43'_48MAlonzo.Code.Data.Integer.Base
C_'43'_10MAlonzo.Code.Data.Sign.Base
C_'45''183''8902'_1112MAlonzo.Code.Algorithmic.CEK
C_'45''183''8902'_382MAlonzo.Code.Algorithmic.ReductionEC
C_'45''183'v_1098MAlonzo.Code.Algorithmic.CEK
C_'45''183'v_202MAlonzo.Code.Untyped.CEK
C_'45''183'v_366MAlonzo.Code.Algorithmic.ReductionEC
C_'45''183'_1092MAlonzo.Code.Algorithmic.CEK
C_'45''183'_200MAlonzo.Code.Untyped.CEK
C_'45''183'__358MAlonzo.Code.Algorithmic.ReductionEC
C_'45''60''43'_64MAlonzo.Code.Data.Integer.Base
C_'45''60''45'_58MAlonzo.Code.Data.Integer.Base
C_'45''8804''43'_40MAlonzo.Code.Data.Integer.Base
C_'45''8804''45'_34MAlonzo.Code.Data.Integer.Base
C_'45'_8MAlonzo.Code.Data.Sign.Base
C_'8658''8801'β_20MAlonzo.Code.Type.Equality
C_'8709'_18MAlonzo.Code.Declarative
C_'8709'_4 
1 (Data Constructor)MAlonzo.Code.Type
2 (Data Constructor)MAlonzo.Code.Algorithmic
C_'8729''8776''8729'_22MAlonzo.Code.Relation.Binary.Construct.Add.Point.Equality
C_'8764''43'_34MAlonzo.Code.Data.Tree.AVL.Height
C_'8764''45'_42MAlonzo.Code.Data.Tree.AVL.Height
C_'8764'0_38MAlonzo.Code.Data.Tree.AVL.Height
C_'8804''8242''45'refl_342MAlonzo.Code.Data.Nat.Base
C_'8804''8242''45'step_348MAlonzo.Code.Data.Nat.Base
C_'8804''8244''45'refl_412MAlonzo.Code.Data.Nat.Base
C_'8804''8244''45'step_418MAlonzo.Code.Data.Nat.Base
C_'8869''8331''60''91'_'93'_24MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.Strict
C_'8869''8331''8804'__24MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.NonStrict
C_'91''93'_10MAlonzo.Code.Utils.List
C_'91''93'_16MAlonzo.Code.Agda.Builtin.List
C_'91''93'_18MAlonzo.Code.Untyped.CEK
C_'91''93'_180MAlonzo.Code.Declarative
C_'91''93'_202MAlonzo.Code.Algorithmic.CEK
C_'91''93'_22MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core
C_'91''93'_268MAlonzo.Code.Algorithmic
C_'91''93'_308MAlonzo.Code.Utils.List
C_'91''93'_32MAlonzo.Code.Data.Vec.Base
C_'91''93'_386MAlonzo.Code.Utils
C_'91''93'_402MAlonzo.Code.Utils.List
C_'91''93'_478MAlonzo.Code.Data.List.Base
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'_114MAlonzo.Code.Declarative
C_'96'_174MAlonzo.Code.Algorithmic
C_'96'_18 
1 (Data Constructor)MAlonzo.Code.Scoped
2 (Data Constructor)MAlonzo.Code.Untyped
C_'96'_22MAlonzo.Code.Type
C_'96'_28MAlonzo.Code.Builtin.Signature
C_'96'_32MAlonzo.Code.Raw
C_'96'_528MAlonzo.Code.Scoped
C_'96'_6MAlonzo.Code.Raw
C_'96'_8 
1 (Data Constructor)MAlonzo.Code.Type.BetaNormal
2 (Data Constructor)MAlonzo.Code.Builtin.Signature
C_'9633'_1194MAlonzo.Code.Algorithmic.CEK
C_'9633'_226MAlonzo.Code.Untyped.CEK
C_'9633'_50MAlonzo.Code.Algorithmic.CK
C_'9670'_1196MAlonzo.Code.Algorithmic.CEK
C_'9670'_228MAlonzo.Code.Untyped.CEK
C_'9670'_54MAlonzo.Code.Algorithmic.CK
C_'9839'_42MAlonzo.Code.Algorithmic
C_'9839'_480MAlonzo.Code.Utils
C_0ℙ_8MAlonzo.Code.Data.Parity.Base
C_1ℙ_10MAlonzo.Code.Data.Parity.Base
C_AbelianGroup'46'constructor_29855MAlonzo.Code.Algebra.Bundles
C_aBls12'45'381'45'g1'45'element_20MAlonzo.Code.Builtin.Constant.AtomicType
C_aBls12'45'381'45'g2'45'element_22MAlonzo.Code.Builtin.Constant.AtomicType
C_aBls12'45'381'45'mlresult_24MAlonzo.Code.Builtin.Constant.AtomicType
C_aBool_16MAlonzo.Code.Builtin.Constant.AtomicType
C_absurd'45'clause_278MAlonzo.Code.Agda.Builtin.Reflection
C_absurd_264MAlonzo.Code.Agda.Builtin.Reflection
C_abs_122MAlonzo.Code.Agda.Builtin.Reflection
C_aBytestring_10MAlonzo.Code.Builtin.Constant.AtomicType
C_acc_52MAlonzo.Code.Induction.WellFounded
C_aData_18MAlonzo.Code.Builtin.Constant.AtomicType
C_AddedSizes_112MAlonzo.Code.Cost.Raw
C_addedSizes_32MAlonzo.Code.Cost.Model
C_addInteger_4MAlonzo.Code.Builtin
C_agda'45'sort_206MAlonzo.Code.Agda.Builtin.Reflection
C_aInteger_8MAlonzo.Code.Builtin.Constant.AtomicType
C_allterms_794MAlonzo.Code.VerifiedCompilation.UntypedViews
C_AlternativeMagma'46'constructor_5457MAlonzo.Code.Algebra.Bundles
C_andByteString_154MAlonzo.Code.Builtin
C_ApartnessRelation'46'constructor_25337MAlonzo.Code.Relation.Binary.Bundles
C_app'8902'_120MAlonzo.Code.Untyped.CEK
C_appendByteString_24MAlonzo.Code.Builtin
C_appendString_52MAlonzo.Code.Builtin
C_appfd'8315''185'_58MAlonzo.Code.VerifiedCompilation.UForceDelay
C_appfd_50MAlonzo.Code.VerifiedCompilation.UForceDelay
C_app_106MAlonzo.Code.Untyped.CEK
C_app_48MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_app_50MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_arg'45'info_82MAlonzo.Code.Agda.Builtin.Reflection
C_argtype_66MAlonzo.Code.Builtin.Signature
C_Arg_62MAlonzo.Code.Text.Format.Generic
C_arg_98MAlonzo.Code.Agda.Builtin.Reflection
C_aString_12MAlonzo.Code.Builtin.Constant.AtomicType
C_atomic_12MAlonzo.Code.Builtin.Signature
C_atomic_24MAlonzo.Code.Raw
C_atomic_8MAlonzo.Code.Builtin.Constant.Type
C_aUnit_14MAlonzo.Code.Builtin.Constant.AtomicType
C_axiom_304MAlonzo.Code.Agda.Builtin.Reflection
C_b'8804'b_16MAlonzo.Code.Data.Bool.Base
C_Band'46'constructor_10881MAlonzo.Code.Algebra.Bundles
C_BApply_14MAlonzo.Code.Cost.Base
C_base_144MAlonzo.Code.Algorithmic.CEK
C_base_42MAlonzo.Code.Data.List.Relation.Binary.Lex.Core
C_base_78MAlonzo.Code.Algorithmic.ReductionEC
C_base_94MAlonzo.Code.Untyped.CEK
C_BBuiltinApp_40MAlonzo.Code.Cost.Base
C_BBuiltin_20MAlonzo.Code.Cost.Base
C_BCase_24MAlonzo.Code.Cost.Base
C_BConstr_22MAlonzo.Code.Cost.Base
C_BConst_8MAlonzo.Code.Cost.Base
C_bDATA_460MAlonzo.Code.Utils
C_bData_90MAlonzo.Code.Builtin
C_BDelay_16MAlonzo.Code.Cost.Base
C_BForce_18MAlonzo.Code.Cost.Base
C_BiEquivalence'46'constructor_44693MAlonzo.Code.Function.Bundles
C_BiInverse'46'constructor_47439MAlonzo.Code.Function.Bundles
C_Bijection'46'constructor_15277MAlonzo.Code.Function.Bundles
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_148MAlonzo.Code.Builtin
C_blake2b'45'256_44MAlonzo.Code.Builtin
C_BLamAbs_12MAlonzo.Code.Cost.Base
C_blockerAll_104MAlonzo.Code.Agda.Builtin.Reflection
C_blockerAny_102MAlonzo.Code.Agda.Builtin.Reflection
C_blockerMeta_106MAlonzo.Code.Agda.Builtin.Reflection
C_bls12'45'381'45'finalVerify_144MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'add_112MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'compress_122MAlonzo.Code.Builtin
C_bls12'45'381'45'g1'45'element_52MAlonzo.Code.RawU
C_bls12'45'381'45'G1'45'equal_118MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'hashToGroup_120MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'neg_114MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'scalarMul_116MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'uncompress_124MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'add_126MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'compress_136MAlonzo.Code.Builtin
C_bls12'45'381'45'g2'45'element_54MAlonzo.Code.RawU
C_bls12'45'381'45'G2'45'equal_132MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'hashToGroup_134MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'neg_128MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'scalarMul_130MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'uncompress_138MAlonzo.Code.Builtin
C_bls12'45'381'45'millerLoop_140MAlonzo.Code.Builtin
C_bls12'45'381'45'mlresult_56MAlonzo.Code.RawU
C_bls12'45'381'45'mulMlResult_142MAlonzo.Code.Builtin
C_BooleanAlgebra'46'constructor_11509MAlonzo.Code.Algebra.Lattice.Bundles
C_BooleanAlgebra'46'constructor_22683MAlonzo.Code.Relation.Binary.Lattice.Bundles
C_bool_36MAlonzo.Code.RawU
C_BoundedJoinSemilattice'46'constructor_2401MAlonzo.Code.Relation.Binary.Lattice.Bundles
C_BoundedJoinSemilattice'46'constructor_6531MAlonzo.Code.Algebra.Lattice.Bundles
C_BoundedLattice'46'constructor_14911MAlonzo.Code.Relation.Binary.Lattice.Bundles
C_BoundedMeetSemilattice'46'constructor_5171MAlonzo.Code.Algebra.Lattice.Bundles
C_BoundedMeetSemilattice'46'constructor_6659MAlonzo.Code.Relation.Binary.Lattice.Bundles
C_BoundedSemilattice'46'constructor_3703MAlonzo.Code.Algebra.Lattice.Bundles
C_bresult_274MAlonzo.Code.Builtin.Signature
C_BStartup_42MAlonzo.Code.Cost.Base
C_BStep_36MAlonzo.Code.Cost.Base
C_bubble_1136MAlonzo.Code.Utils.List
C_bubble_132MAlonzo.Code.Utils
C_bubble_700MAlonzo.Code.Utils.List
C_builtinError_102MAlonzo.Code.Check
C_BuiltinModel'46'constructor_581MAlonzo.Code.Cost.Model
C_builtin_'47'__254MAlonzo.Code.Algorithmic
C_builtin_166MAlonzo.Code.Declarative
C_builtin_44MAlonzo.Code.Untyped
C_builtin_46MAlonzo.Code.Raw
C_builtin_544MAlonzo.Code.Scoped
C_builtin_60MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_builtin_86MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_BVar_10MAlonzo.Code.Cost.Base
C_byteStringToInteger_150MAlonzo.Code.Builtin
C_bytestring_32MAlonzo.Code.RawU
C_CancellativeCommutativeSemiring'46'constructor_48119MAlonzo.Code.Algebra.Bundles
C_case'45'_1160MAlonzo.Code.Algorithmic.CEK
C_case'45'_216MAlonzo.Code.Untyped.CEK
C_case'45'_428MAlonzo.Code.Algorithmic.ReductionEC
C_caseOfCaseT_8MAlonzo.Code.VerifiedCompilation
C_caseReduceNotImplemented_76MAlonzo.Code.VerifiedCompilation
C_caseReduceT_10MAlonzo.Code.VerifiedCompilation
C_case_154MAlonzo.Code.Declarative
C_case_242MAlonzo.Code.Algorithmic
C_case_40MAlonzo.Code.Untyped
C_case_564MAlonzo.Code.Scoped
C_case_568MAlonzo.Code.Algorithmic.ReductionEC
C_case_66MAlonzo.Code.Raw
C_case_74MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_case_82MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_Center_96MAlonzo.Code.Data.String.Base
C_CharArg_12MAlonzo.Code.Text.Format
C_char_140MAlonzo.Code.Agda.Builtin.Reflection
C_chooseData_80MAlonzo.Code.Builtin
C_chooseList_70MAlonzo.Code.Builtin
C_chooseUnit_62MAlonzo.Code.Builtin
C_clause_272MAlonzo.Code.Agda.Builtin.Reflection
C_CommutativeBand'46'constructor_13365MAlonzo.Code.Algebra.Bundles
C_CommutativeMagma'46'constructor_3345MAlonzo.Code.Algebra.Bundles
C_CommutativeMonoid'46'constructor_17931MAlonzo.Code.Algebra.Bundles
C_CommutativeRing'46'constructor_72553MAlonzo.Code.Algebra.Bundles
C_CommutativeSemigroup'46'constructor_12035MAlonzo.Code.Algebra.Bundles
C_CommutativeSemiring'46'constructor_44731MAlonzo.Code.Algebra.Bundles
C_CommutativeSemiringWithoutOne'46'constructor_36869MAlonzo.Code.Algebra.Bundles
C_complementByteString_160MAlonzo.Code.Builtin
C_con'8801'β_34MAlonzo.Code.Type.Equality
C_cons'10216''91''8801''93''10217'β_74MAlonzo.Code.Type.Equality
C_cons'91''8801''93'β_60MAlonzo.Code.Type.Equality
C_consByteString_26MAlonzo.Code.Builtin
C_ConstAboveDiagonal_140MAlonzo.Code.Cost.Raw
C_ConstantCost_110MAlonzo.Code.Cost.Raw
C_constantCost_12MAlonzo.Code.Cost.Model
C_ConstBelowDiagonal_142MAlonzo.Code.Cost.Raw
C_ConstOffDiagonal_144MAlonzo.Code.Cost.Raw
C_constr'45'_1148MAlonzo.Code.Algorithmic.CEK
C_constr'45'_210MAlonzo.Code.Untyped.CEK
C_constr'45'_420MAlonzo.Code.Algorithmic.ReductionEC
C_ConstrDATA_452MAlonzo.Code.Utils
C_constrData_82MAlonzo.Code.Builtin
C_constr_142MAlonzo.Code.Declarative
C_constr_230MAlonzo.Code.Algorithmic
C_constr_34MAlonzo.Code.Untyped
C_constr_556MAlonzo.Code.Scoped
C_constr_558MAlonzo.Code.Algorithmic.ReductionEC
C_constr_58MAlonzo.Code.Raw
C_constr_72MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_constr_82MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_cons_102MAlonzo.Code.VerifiedCompilation
C_conv_156MAlonzo.Code.Declarative
C_con_16MAlonzo.Code.Raw
C_con_162MAlonzo.Code.Declarative
C_con_178MAlonzo.Code.Agda.Builtin.Reflection
C_con_22MAlonzo.Code.Type.BetaNormal
C_con_244MAlonzo.Code.Agda.Builtin.Reflection
C_con_248MAlonzo.Code.Algorithmic
C_con_28MAlonzo.Code.Untyped
C_con_30MAlonzo.Code.Scoped
C_con_36MAlonzo.Code.Type
C_con_42MAlonzo.Code.Raw
C_con_538MAlonzo.Code.Scoped
C_con_64MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_con_66MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_Counting_42MAlonzo.Code.Evaluator.Program
C_countSetBits_172MAlonzo.Code.Builtin
C_cseT_14MAlonzo.Code.VerifiedCompilation
C_cse_16MAlonzo.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_DecEq'46'constructor_11MAlonzo.Code.VerifiedCompilation.Equality
C_decodeUtf8_58MAlonzo.Code.Builtin
C_DecPoset'46'constructor_8213MAlonzo.Code.Relation.Binary.Bundles
C_DecSetoid'46'constructor_1389MAlonzo.Code.Relation.Binary.Bundles
C_DecStrictPartialOrder'46'constructor_13245MAlonzo.Code.Relation.Binary.Bundles
C_DecTotalOrder'46'constructor_17849MAlonzo.Code.Relation.Binary.Bundles
C_def_184MAlonzo.Code.Agda.Builtin.Reflection
C_delayfd_108MAlonzo.Code.VerifiedCompilation.UForceDelay
C_delay_26MAlonzo.Code.Untyped
C_delay_40MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_delay_60MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_DenseLinearOrder'46'constructor_23325MAlonzo.Code.Relation.Binary.Bundles
C_DistributiveLattice'46'constructor_11867MAlonzo.Code.Relation.Binary.Lattice.Bundles
C_DistributiveLattice'46'constructor_9515MAlonzo.Code.Algebra.Lattice.Bundles
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_dot_248MAlonzo.Code.Agda.Builtin.Reflection
C_E'45'error_1078MAlonzo.Code.Algorithmic.CEK
C_E'45'error_346MAlonzo.Code.Algorithmic.ReductionEC
C_empty_88MAlonzo.Code.VerifiedCompilation
C_encodeUtf8_56MAlonzo.Code.Builtin
C_equalsByteString_34MAlonzo.Code.Builtin
C_equalsData_102MAlonzo.Code.Builtin
C_equalsInteger_18MAlonzo.Code.Builtin
C_equalsString_54MAlonzo.Code.Builtin
C_equals_74MAlonzo.Code.Relation.Binary.Reasoning.Base.Double
C_equals_94MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
C_equal_448MAlonzo.Code.Data.Nat.Base
C_equal_458MAlonzo.Code.Data.Fin.Base
C_Equivalence'46'constructor_25797MAlonzo.Code.Function.Bundles
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'46'constructor_421MAlonzo.Code.Text.Printf.Generic
C_error_170MAlonzo.Code.Declarative
C_error_258MAlonzo.Code.Algorithmic
C_error_26MAlonzo.Code.Algorithmic.Evaluation
C_error_44MAlonzo.Code.Raw
C_error_46MAlonzo.Code.Untyped
C_error_54MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_error_540MAlonzo.Code.Scoped
C_error_88MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_EvalOpts_28MAlonzo.Code.Main
C_Eval_40MAlonzo.Code.Main
C_expModInteger_178MAlonzo.Code.Builtin
C_f'60't_20MAlonzo.Code.Data.Bool.Base
C_f'8804't_12MAlonzo.Code.Data.Bool.Base
C_false_8MAlonzo.Code.Agda.Builtin.Bool
C_findFirstSetBit_174MAlonzo.Code.Builtin
C_fixity_30MAlonzo.Code.Agda.Builtin.Reflection
C_FIXME_12MAlonzo.Code.VerifiedCompilation.Purity
C_FlexibleMagma'46'constructor_6559MAlonzo.Code.Algebra.Bundles
C_FloatArg_10MAlonzo.Code.Text.Format
C_floatDelayT_4MAlonzo.Code.VerifiedCompilation
C_floatdelay_488MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_float_136MAlonzo.Code.Agda.Builtin.Reflection
C_force'45'_206MAlonzo.Code.Untyped.CEK
C_forceDelayT_6MAlonzo.Code.VerifiedCompilation
C_forcedelay_18MAlonzo.Code.VerifiedCompilation.UForceDelay
C_forced_32MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_forcefd_98MAlonzo.Code.VerifiedCompilation.UForceDelay
C_force_24MAlonzo.Code.Untyped
C_force_36MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_force_54MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_FormatSpec'46'constructor_27MAlonzo.Code.Text.Format.Generic
C_freeVariableError_580MAlonzo.Code.Scoped
C_fstPair_66MAlonzo.Code.Builtin
C_Func'46'constructor_6307MAlonzo.Code.Function.Bundles
C_Func'46'constructor_677MAlonzo.Code.Function.Dependent.Bundles
C_function_284MAlonzo.Code.Agda.Builtin.Reflection
C_gasError_350MAlonzo.Code.Utils
C_gas_6MAlonzo.Code.Algorithmic.Evaluation
C_greater_454MAlonzo.Code.Data.Nat.Base
C_greater_464MAlonzo.Code.Data.Fin.Base
C_Group'46'constructor_27303MAlonzo.Code.Algebra.Bundles
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_HeytingAlgebra'46'constructor_18655MAlonzo.Code.Relation.Binary.Lattice.Bundles
C_hidden_52MAlonzo.Code.Agda.Builtin.Reflection
C_HsEq'46'constructor_30775MAlonzo.Code.VerifiedCompilation.Equality
C_iDATA_458MAlonzo.Code.Utils
C_iData_88MAlonzo.Code.Builtin
C_IdempotentCommutativeMonoid'46'constructor_21499MAlonzo.Code.Algebra.Bundles
C_IdempotentMagma'46'constructor_4403MAlonzo.Code.Algebra.Bundles
C_IdempotentMonoid'46'constructor_19753MAlonzo.Code.Algebra.Bundles
C_IdempotentSemiring'46'constructor_51015MAlonzo.Code.Algebra.Bundles
C_ifThenElse_60MAlonzo.Code.Builtin
C_implication_8MAlonzo.Code.Function.Related.Propositional
C_implication_96MAlonzo.Code.Function.Related.Propositional
C_indexByteString_32MAlonzo.Code.Builtin
C_IndexedPreorder'46'constructor_1987MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles
C_IndexedSetoid'46'constructor_445MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles
C_IndexOutOfBounds_82MAlonzo.Code.Check
C_inf_236MAlonzo.Code.Agda.Builtin.Reflection
C_inj'8321'_12MAlonzo.Code.Utils
C_inj'8321'_38MAlonzo.Code.Data.Sum.Base
C_inj'8321'_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'46'constructor_8675MAlonzo.Code.Function.Bundles
C_injection_100MAlonzo.Code.Function.Related.Propositional
C_injection_14MAlonzo.Code.Function.Related.Propositional
C_inlineNotImplemented_66MAlonzo.Code.VerifiedCompilation
C_inlineT_12MAlonzo.Code.VerifiedCompilation
C_instance'8242'_54MAlonzo.Code.Agda.Builtin.Reflection
C_integerToByteString_152MAlonzo.Code.Builtin
C_integer_30MAlonzo.Code.RawU
C_InvalidType_86MAlonzo.Code.Text.Format.Generic
C_Inverse'46'constructor_38621MAlonzo.Code.Function.Bundles
C_InvertibleMagma'46'constructor_24127MAlonzo.Code.Algebra.Bundles
C_InvertibleUnitalMagma'46'constructor_25619MAlonzo.Code.Algebra.Bundles
C_irrelevant_60MAlonzo.Code.Agda.Builtin.Reflection
C_IsAbelianGroup'46'constructor_32441MAlonzo.Code.Algebra.Structures
C_IsAbelianGroupMorphism'46'constructor_11939MAlonzo.Code.Algebra.Morphism
C_IsAlternativeMagma'46'constructor_5319MAlonzo.Code.Algebra.Structures
C_IsApartnessRelation'46'constructor_30225MAlonzo.Code.Relation.Binary.Structures
C_isapp_154MAlonzo.Code.VerifiedCompilation.UntypedViews
C_IsBand'46'constructor_11205MAlonzo.Code.Algebra.Structures
C_IsBiEquivalence'46'constructor_28009MAlonzo.Code.Function.Structures
C_IsBiInverse'46'constructor_32731MAlonzo.Code.Function.Structures
C_IsBijection'46'constructor_10113MAlonzo.Code.Function.Structures
C_IsBooleanAlgebra'46'constructor_31651MAlonzo.Code.Relation.Binary.Lattice.Structures
C_IsBooleanAlgebra'46'constructor_44015MAlonzo.Code.Algebra.Lattice.Structures
C_IsBoundedJoinSemilattice'46'constructor_5215MAlonzo.Code.Relation.Binary.Lattice.Structures
C_IsBoundedLattice'46'constructor_21319MAlonzo.Code.Relation.Binary.Lattice.Structures
C_IsBoundedMeetSemilattice'46'constructor_12265MAlonzo.Code.Relation.Binary.Lattice.Structures
C_isbuiltin_704MAlonzo.Code.VerifiedCompilation.UntypedViews
C_IsCancellativeCommutativeSemiring'46'constructor_55863MAlonzo.Code.Algebra.Structures
C_iscase_586MAlonzo.Code.VerifiedCompilation.UntypedViews
C_isCoCCase_58MAlonzo.Code.VerifiedCompilation.UCaseOfCase
C_isCoCForce_162MAlonzo.Code.VerifiedCompilation.UCaseOfCase
C_isCoC_26MAlonzo.Code.VerifiedCompilation
C_isCoC_28MAlonzo.Code.VerifiedCompilation.UCaseOfCase
C_IsCommutativeBand'46'constructor_13109MAlonzo.Code.Algebra.Structures
C_IsCommutativeMagma'46'constructor_3749MAlonzo.Code.Algebra.Structures
C_IsCommutativeMonoid'46'constructor_17695MAlonzo.Code.Algebra.Structures
C_IsCommutativeMonoid'691''46'constructor_36341MAlonzo.Code.Algebra.Structures.Biased
C_IsCommutativeMonoid'737''46'constructor_34899MAlonzo.Code.Algebra.Structures.Biased
C_IsCommutativeMonoidMorphism'46'constructor_3705MAlonzo.Code.Algebra.Morphism
C_IsCommutativeRing'46'constructor_100945MAlonzo.Code.Algebra.Structures
C_IsCommutativeSemigroup'46'constructor_12093MAlonzo.Code.Algebra.Structures
C_IsCommutativeSemiring'46'constructor_51895MAlonzo.Code.Algebra.Structures
C_IsCommutativeSemiring'691''46'constructor_48791MAlonzo.Code.Algebra.Structures.Biased
C_IsCommutativeSemiring'737''46'constructor_43731MAlonzo.Code.Algebra.Structures.Biased
C_IsCommutativeSemiringWithoutOne'46'constructor_41457MAlonzo.Code.Algebra.Structures
C_IsCongruent'46'constructor_985MAlonzo.Code.Function.Structures
C_isconstr_488MAlonzo.Code.VerifiedCompilation.UntypedViews
C_iscon_444MAlonzo.Code.VerifiedCompilation.UntypedViews
C_isCSE_56MAlonzo.Code.VerifiedCompilation
C_IsDecEquivalence'46'constructor_3083MAlonzo.Code.Relation.Binary.Structures
C_IsDecPartialOrder'46'constructor_11683MAlonzo.Code.Relation.Binary.Structures
C_IsDecStrictPartialOrder'46'constructor_18663MAlonzo.Code.Relation.Binary.Structures
C_IsDecTotalOrder'46'constructor_22695MAlonzo.Code.Relation.Binary.Structures
C_isdelay_362MAlonzo.Code.VerifiedCompilation.UntypedViews
C_IsDenseLinearOrder'46'constructor_28131MAlonzo.Code.Relation.Binary.Structures
C_IsDistributiveLattice'46'constructor_18193MAlonzo.Code.Relation.Binary.Lattice.Structures
C_IsDistributiveLattice'46'constructor_40943MAlonzo.Code.Algebra.Lattice.Structures
C_isEquality_130MAlonzo.Code.Relation.Binary.Reasoning.Base.Double
C_isEquality_216MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
C_IsEquivalence'46'constructor_745MAlonzo.Code.Relation.Binary.Structures
C_iserror_740MAlonzo.Code.VerifiedCompilation.UntypedViews
C_isFD_36MAlonzo.Code.VerifiedCompilation
C_isFlD_46MAlonzo.Code.VerifiedCompilation
C_IsFlexibleMagma'46'constructor_6681MAlonzo.Code.Algebra.Structures
C_isforce_276MAlonzo.Code.VerifiedCompilation.UntypedViews
C_IsGeneralMetric'46'constructor_18255MAlonzo.Code.Function.Metric.Structures
C_IsGroup'46'constructor_26963MAlonzo.Code.Algebra.Structures
C_IsGroupHomomorphism'46'constructor_14585MAlonzo.Code.Algebra.Morphism.Structures
C_IsGroupIsomorphism'46'constructor_17073MAlonzo.Code.Algebra.Morphism.Structures
C_IsGroupMonomorphism'46'constructor_15537MAlonzo.Code.Algebra.Morphism.Structures
C_IsGroupMorphism'46'constructor_7465MAlonzo.Code.Algebra.Morphism
C_IsHeytingAlgebra'46'constructor_25303MAlonzo.Code.Relation.Binary.Lattice.Structures
C_IsIdempotentCommutativeMonoid'46'constructor_20685MAlonzo.Code.Algebra.Structures
C_IsIdempotentCommutativeMonoidMorphism'46'constructor_5361MAlonzo.Code.Algebra.Morphism
C_IsIdempotentMagma'46'constructor_4535MAlonzo.Code.Algebra.Structures
C_IsIdempotentMonoid'46'constructor_19237MAlonzo.Code.Algebra.Structures
C_IsIdempotentSemiring'46'constructor_60011MAlonzo.Code.Algebra.Structures
C_IsIndexedEquivalence'46'constructor_1089MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures
C_IsIndexedPreorder'46'constructor_5837MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures
C_IsInjection'46'constructor_3997MAlonzo.Code.Function.Structures
C_IsInverse'46'constructor_22449MAlonzo.Code.Function.Structures
C_IsInvertibleMagma'46'constructor_22695MAlonzo.Code.Algebra.Structures
C_IsInvertibleUnitalMagma'46'constructor_24571MAlonzo.Code.Algebra.Structures
C_IsJoinSemilattice'46'constructor_527MAlonzo.Code.Relation.Binary.Lattice.Structures
C_IsKleeneAlgebra'46'constructor_63875MAlonzo.Code.Algebra.Structures
C_IsKleeneAlgebraHomomorphism'46'constructor_63187MAlonzo.Code.Algebra.Morphism.Structures
C_IsKleeneAlgebraIsomorphism'46'constructor_65931MAlonzo.Code.Algebra.Morphism.Structures
C_IsKleeneAlgebraMonomorphism'46'constructor_64491MAlonzo.Code.Algebra.Morphism.Structures
C_islambda_62MAlonzo.Code.VerifiedCompilation.UntypedViews
C_IsLattice'46'constructor_14941MAlonzo.Code.Relation.Binary.Lattice.Structures
C_IsLattice'46'constructor_36793MAlonzo.Code.Algebra.Lattice.Structures
C_IsLeftBolLoop'46'constructor_114283MAlonzo.Code.Algebra.Structures
C_IsLeftInverse'46'constructor_14363MAlonzo.Code.Function.Structures
C_IsLoop'46'constructor_111285MAlonzo.Code.Algebra.Structures
C_IsLoopHomomorphism'46'constructor_58349MAlonzo.Code.Algebra.Morphism.Structures
C_IsLoopIsomorphism'46'constructor_60703MAlonzo.Code.Algebra.Morphism.Structures
C_IsLoopMonomorphism'46'constructor_59459MAlonzo.Code.Algebra.Morphism.Structures
C_IsMagma'46'constructor_1867MAlonzo.Code.Algebra.Structures
C_IsMagmaHomomorphism'46'constructor_4629MAlonzo.Code.Algebra.Morphism.Structures
C_IsMagmaIsomorphism'46'constructor_7199MAlonzo.Code.Algebra.Morphism.Structures
C_IsMagmaMonomorphism'46'constructor_5763MAlonzo.Code.Algebra.Morphism.Structures
C_IsMedialMagma'46'constructor_7467MAlonzo.Code.Algebra.Structures
C_IsMeetSemilattice'46'constructor_7577MAlonzo.Code.Relation.Binary.Lattice.Structures
C_IsMiddleBolLoop'46'constructor_121973MAlonzo.Code.Algebra.Structures
C_IsMonoid'46'constructor_15873MAlonzo.Code.Algebra.Structures
C_IsMonoidHomomorphism'46'constructor_9411MAlonzo.Code.Algebra.Morphism.Structures
C_IsMonoidIsomorphism'46'constructor_11597MAlonzo.Code.Algebra.Morphism.Structures
C_IsMonoidMonomorphism'46'constructor_10237MAlonzo.Code.Algebra.Morphism.Structures
C_IsMonoidMorphism'46'constructor_2139MAlonzo.Code.Algebra.Morphism
C_IsMoufangLoop'46'constructor_119263MAlonzo.Code.Algebra.Structures
C_IsNearring'46'constructor_90609MAlonzo.Code.Algebra.Structures
C_IsNearSemiring'42''46'constructor_39635MAlonzo.Code.Algebra.Structures.Biased
C_IsNearSemiring'46'constructor_35025MAlonzo.Code.Algebra.Structures
C_IsNearSemiringHomomorphism'46'constructor_19989MAlonzo.Code.Algebra.Morphism.Structures
C_IsNearSemiringIsomorphism'46'constructor_23007MAlonzo.Code.Algebra.Morphism.Structures
C_IsNearSemiringMonomorphism'46'constructor_21119MAlonzo.Code.Algebra.Morphism.Structures
C_IsNonAssociativeRing'46'constructor_83447MAlonzo.Code.Algebra.Structures
C_IsOrderHomomorphism'46'constructor_5435MAlonzo.Code.Relation.Binary.Morphism.Structures
C_IsOrderIsomorphism'46'constructor_14201MAlonzo.Code.Relation.Binary.Morphism.Structures
C_IsOrderMonomorphism'46'constructor_9103MAlonzo.Code.Relation.Binary.Morphism.Structures
C_IsPartialEquivalence'46'constructor_273MAlonzo.Code.Relation.Binary.Structures
C_IsPartialOrder'46'constructor_9853MAlonzo.Code.Relation.Binary.Structures
C_IsPreMetric'46'constructor_6347MAlonzo.Code.Function.Metric.Structures
C_IsPreorder'46'constructor_4003MAlonzo.Code.Relation.Binary.Structures
C_IsProtoMetric'46'constructor_2109MAlonzo.Code.Function.Metric.Structures
C_IsQuasigroup'46'constructor_106057MAlonzo.Code.Algebra.Structures
C_IsQuasigroupHomomorphism'46'constructor_50171MAlonzo.Code.Algebra.Morphism.Structures
C_IsQuasigroupIsomorphism'46'constructor_54087MAlonzo.Code.Algebra.Morphism.Structures
C_IsQuasigroupMonomorphism'46'constructor_51967MAlonzo.Code.Algebra.Morphism.Structures
C_IsQuasiring'46'constructor_69993MAlonzo.Code.Algebra.Structures
C_IsQuasiSemiMetric'46'constructor_10111MAlonzo.Code.Function.Metric.Structures
C_IsRelHomomorphism'46'constructor_587MAlonzo.Code.Relation.Binary.Morphism.Structures
C_IsRelIsomorphism'46'constructor_3019MAlonzo.Code.Relation.Binary.Morphism.Structures
C_IsRelMonomorphism'46'constructor_1563MAlonzo.Code.Relation.Binary.Morphism.Structures
C_IsRightBolLoop'46'constructor_116761MAlonzo.Code.Algebra.Structures
C_IsRightInverse'46'constructor_18837MAlonzo.Code.Function.Structures
C_IsRing'42''46'constructor_53915MAlonzo.Code.Algebra.Structures.Biased
C_IsRing'46'constructor_95033MAlonzo.Code.Algebra.Structures
C_IsRingHomomorphism'46'constructor_41447MAlonzo.Code.Algebra.Morphism.Structures
C_IsRingIsomorphism'46'constructor_45617MAlonzo.Code.Algebra.Morphism.Structures
C_IsRingMonomorphism'46'constructor_42933MAlonzo.Code.Algebra.Morphism.Structures
C_IsRingMorphism'46'constructor_13939MAlonzo.Code.Algebra.Morphism
C_IsRingWithoutAnnihilatingZero'46'constructor_56523MAlonzo.Code.Algebra.Structures.Biased
C_IsRingWithoutOne'46'constructor_75855MAlonzo.Code.Algebra.Structures
C_IsRingWithoutOneHomomorphism'46'constructor_33433MAlonzo.Code.Algebra.Morphism.Structures
C_IsRingWithoutOneIsoMorphism'46'constructor_36755MAlonzo.Code.Algebra.Morphism.Structures
C_IsRingWithoutOneMonomorphism'46'constructor_34691MAlonzo.Code.Algebra.Morphism.Structures
C_IsSelectiveMagma'46'constructor_9631MAlonzo.Code.Algebra.Structures
C_IsSemigroup'46'constructor_10417MAlonzo.Code.Algebra.Structures
C_IsSemigroupMorphism'46'constructor_1081MAlonzo.Code.Algebra.Morphism
C_IsSemimedialMagma'46'constructor_8257MAlonzo.Code.Algebra.Structures
C_IsSemiMetric'46'constructor_14005MAlonzo.Code.Function.Metric.Structures
C_IsSemiring'46'constructor_48071MAlonzo.Code.Algebra.Structures
C_IsSemiringHomomorphism'46'constructor_26561MAlonzo.Code.Algebra.Morphism.Structures
C_IsSemiringIsomorphism'46'constructor_29931MAlonzo.Code.Algebra.Morphism.Structures
C_IsSemiringMonomorphism'46'constructor_27871MAlonzo.Code.Algebra.Morphism.Structures
C_IsSemiringWithoutAnnihilatingZero'42''46'constructor_41443MAlonzo.Code.Algebra.Structures.Biased
C_IsSemiringWithoutAnnihilatingZero'46'constructor_43811MAlonzo.Code.Algebra.Structures
C_IsSemiringWithoutOne'42''46'constructor_37821MAlonzo.Code.Algebra.Structures.Biased
C_IsSemiringWithoutOne'46'constructor_37629MAlonzo.Code.Algebra.Structures
C_IsSplitSurjection'46'constructor_35501MAlonzo.Code.Function.Structures
C_IsStrictPartialOrder'46'constructor_14045MAlonzo.Code.Relation.Binary.Structures
C_IsStrictTotalOrder'46'constructor_24953MAlonzo.Code.Relation.Binary.Structures
C_IsStrictTotalOrder'7580''46'constructor_6029MAlonzo.Code.Relation.Binary.Structures.Biased
C_isStrict_180MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
C_IsSuccessorSet'46'constructor_817MAlonzo.Code.Algebra.Structures
C_IsSuccessorSetHomomorphism'46'constructor_777MAlonzo.Code.Algebra.Morphism.Structures
C_IsSuccessorSetIsomorphism'46'constructor_2827MAlonzo.Code.Algebra.Morphism.Structures
C_IsSuccessorSetMonomorphism'46'constructor_1407MAlonzo.Code.Algebra.Morphism.Structures
C_IsSurjection'46'constructor_6463MAlonzo.Code.Function.Structures
C_isterm_778MAlonzo.Code.VerifiedCompilation.UntypedViews
C_IsTotalOrder'46'constructor_20555MAlonzo.Code.Relation.Binary.Structures
C_IsTotalPreorder'46'constructor_8325MAlonzo.Code.Relation.Binary.Structures
C_istranslation_28MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_IsUnitalMagma'46'constructor_14317MAlonzo.Code.Algebra.Structures
C_isvar_20MAlonzo.Code.VerifiedCompilation.UntypedViews
C_JoinSemilattice'46'constructor_2531MAlonzo.Code.Algebra.Lattice.Bundles
C_JoinSemilattice'46'constructor_371MAlonzo.Code.Relation.Binary.Lattice.Bundles
C_jsonError_22MAlonzo.Code.Evaluator.Base
C_just_16MAlonzo.Code.Agda.Builtin.Maybe
C_just_30 
1 (Data Constructor)MAlonzo.Code.Data.Maybe.Relation.Unary.Any
2 (Data Constructor)MAlonzo.Code.Data.Maybe.Relation.Unary.All
C_K'9839'_48MAlonzo.Code.Algorithmic
C_keccak'45'256_146MAlonzo.Code.Builtin
C_kindMismatch_18MAlonzo.Code.Check
C_KleeneAlgebra'46'constructor_54207MAlonzo.Code.Algebra.Bundles
C_lam_190MAlonzo.Code.Agda.Builtin.Reflection
C_lastdelay_118MAlonzo.Code.VerifiedCompilation.UForceDelay
C_Lattice'46'constructor_7925MAlonzo.Code.Algebra.Lattice.Bundles
C_Lattice'46'constructor_8977MAlonzo.Code.Relation.Binary.Lattice.Bundles
C_leaf_192MAlonzo.Code.Data.Tree.AVL.Indexed
C_left'45'assoc_16MAlonzo.Code.Agda.Builtin.Reflection
C_LeftBolLoop'46'constructor_80531MAlonzo.Code.Algebra.Bundles
C_LeftInverse'46'constructor_29775MAlonzo.Code.Function.Bundles
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_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_444MAlonzo.Code.Data.Nat.Base
C_less_454MAlonzo.Code.Data.Fin.Base
C_lift_20MAlonzo.Code.Level
C_linearCostIn_16MAlonzo.Code.Cost.Model
C_LinearInMaxYZ_128MAlonzo.Code.Cost.Raw
C_LinearInX_120MAlonzo.Code.Cost.Raw
C_LinearInYAndZ_130MAlonzo.Code.Cost.Raw
C_LinearInY_122MAlonzo.Code.Cost.Raw
C_LinearInZ_124MAlonzo.Code.Cost.Raw
C_ListDATA_456MAlonzo.Code.Utils
C_listData_86MAlonzo.Code.Builtin
C_list_10MAlonzo.Code.Builtin.Constant.Type
C_list_16MAlonzo.Code.Builtin.Signature
C_list_26MAlonzo.Code.Raw
C_list_50MAlonzo.Code.RawU
C_literalCostIn_28MAlonzo.Code.Cost.Model
C_LiteralInYOrLinearInZ_126MAlonzo.Code.Cost.Raw
C_lit_210MAlonzo.Code.Agda.Builtin.Reflection
C_lit_224MAlonzo.Code.Agda.Builtin.Reflection
C_lit_256MAlonzo.Code.Agda.Builtin.Reflection
C_Loop'46'constructor_78267MAlonzo.Code.Algebra.Bundles
C_MachineParameters'46'constructor_359MAlonzo.Code.Cost.Base
C_Magma'46'constructor_1279MAlonzo.Code.Algebra.Bundles
C_MapDATA_454MAlonzo.Code.Utils
C_mapData_84MAlonzo.Code.Builtin
C_MaxOperator'46'constructor_1665MAlonzo.Code.Algebra.Construct.NaturalChoice.Base
C_MaxSize_118MAlonzo.Code.Cost.Raw
C_maxSize_44MAlonzo.Code.Cost.Model
C_MedialMagma'46'constructor_7617MAlonzo.Code.Algebra.Bundles
C_MeetSemilattice'46'constructor_1393MAlonzo.Code.Algebra.Lattice.Bundles
C_MeetSemilattice'46'constructor_4629MAlonzo.Code.Relation.Binary.Lattice.Bundles
C_meta_152MAlonzo.Code.Agda.Builtin.Reflection
C_meta_214MAlonzo.Code.Agda.Builtin.Reflection
C_Metric'46'constructor_6797MAlonzo.Code.Function.Metric.Nat.Bundles
C_MiddleBolLoop'46'constructor_87215MAlonzo.Code.Algebra.Bundles
C_MinOperator'46'constructor_1121MAlonzo.Code.Algebra.Construct.NaturalChoice.Base
C_MinSize_116MAlonzo.Code.Cost.Raw
C_minSize_40MAlonzo.Code.Cost.Model
C_mkCons_72MAlonzo.Code.Builtin
C_mkCpuAndMemoryModel_156MAlonzo.Code.Cost.Raw
C_mkExBudget_62MAlonzo.Code.Cost
C_mkGeneralizeTel_10109MAlonzo.Code.Induction.WellFounded
C_mkGeneralizeTel_101605MAlonzo.Code.Data.List.Relation.Unary.All.Properties
C_mkGeneralizeTel_1877MAlonzo.Code.Relation.Nullary.Decidable
C_mkGeneralizeTel_409MAlonzo.Code.Function.Properties.RightInverse
C_mkGeneralizeTel_425MAlonzo.Code.Function.Properties.Surjection
C_mkGeneralizeTel_6169MAlonzo.Code.Induction.WellFounded
C_mkGeneralizeTel_9223MAlonzo.Code.Function.Properties.Surjection
C_mkLinearFunction_42MAlonzo.Code.Cost.Raw
C_mkNilData_108MAlonzo.Code.Builtin
C_mkNilPairData_110MAlonzo.Code.Builtin
C_mkOneVariableQuadraticFunction_58MAlonzo.Code.Cost.Raw
C_mkPairData_106MAlonzo.Code.Builtin
C_mkTwoVariableLinearFunction_74MAlonzo.Code.Cost.Raw
C_mkTwoVariableQuadraticFunction_106MAlonzo.Code.Cost.Raw
C_MkValue_50MAlonzo.Code.Data.Tree.AVL.Value
C_modality_74MAlonzo.Code.Agda.Builtin.Reflection
C_modInteger_16MAlonzo.Code.Builtin
C_Monad'46'constructor_12257MAlonzo.Code.Utils
C_Monoid'46'constructor_16157MAlonzo.Code.Algebra.Bundles
C_Morphism'46'constructor_14129MAlonzo.Code.Effect.Applicative
C_Morphism'46'constructor_3741MAlonzo.Code.Effect.Functor
C_MoufangLoop'46'constructor_84927MAlonzo.Code.Algebra.Bundles
C_multiabstractfd_142MAlonzo.Code.VerifiedCompilation.UForceDelay
C_multiappliedfd_132MAlonzo.Code.VerifiedCompilation.UForceDelay
C_MultipliedSizes_114MAlonzo.Code.Cost.Raw
C_multipliedSizes_36MAlonzo.Code.Cost.Model
C_multiplyInteger_8MAlonzo.Code.Builtin
C_nameErr_316MAlonzo.Code.Agda.Builtin.Reflection
C_name_148MAlonzo.Code.Agda.Builtin.Reflection
C_nat_128MAlonzo.Code.Agda.Builtin.Reflection
C_Nearring'46'constructor_65771MAlonzo.Code.Algebra.Bundles
C_NearSemiring'46'constructor_32269MAlonzo.Code.Algebra.Bundles
C_Negative'46'constructor_1573MAlonzo.Code.Data.Integer.Base
C_negsuc_14MAlonzo.Code.Agda.Builtin.Int
C_next_74MAlonzo.Code.Data.List.Relation.Binary.Lex.Core
C_ne_20MAlonzo.Code.Type.BetaNormal
C_nil'10216''91''8801''93''10217'β_62MAlonzo.Code.Type.Equality
C_nil'91''8801''93'β_50MAlonzo.Code.Type.Equality
C_node_208MAlonzo.Code.Data.Tree.AVL.Indexed
C_non'45'assoc_20MAlonzo.Code.Agda.Builtin.Reflection
C_NonAssociativeRing'46'constructor_62767MAlonzo.Code.Algebra.Bundles
C_nonEmpty_460MAlonzo.Code.Relation.Binary.Definitions
C_NonNegative'46'constructor_1457MAlonzo.Code.Data.Integer.Base
C_NonPositive'46'constructor_1515MAlonzo.Code.Data.Integer.Base
C_nonstrict_70MAlonzo.Code.Relation.Binary.Reasoning.Base.Double
C_nonstrict_90MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
C_NonTrivial'46'constructor_5661MAlonzo.Code.Data.Nat.Base
C_NonZero'46'constructor_3575MAlonzo.Code.Data.Nat.Base
C_notFunKind_26MAlonzo.Code.Check
C_notFunType_66MAlonzo.Code.Check
C_nothing_18MAlonzo.Code.Agda.Builtin.Maybe
C_nothing_32MAlonzo.Code.Data.Maybe.Relation.Unary.All
C_notMu_56MAlonzo.Code.Check
C_notPat_32MAlonzo.Code.Check
C_notPi_44MAlonzo.Code.Check
C_notSOP_76MAlonzo.Code.Check
C_nullList_78MAlonzo.Code.Builtin
C_of'696'_22MAlonzo.Code.Relation.Nullary.Reflects
C_of'8319'_26MAlonzo.Code.Relation.Nullary.Reflects
C_orByteString_156MAlonzo.Code.Builtin
C_out'45'of'45'gas_22MAlonzo.Code.Algorithmic.Evaluation
C_pair_12MAlonzo.Code.Builtin.Constant.Type
C_pair_20MAlonzo.Code.Builtin.Signature
C_pair_28MAlonzo.Code.Raw
C_pair_46MAlonzo.Code.RawU
C_parseError_16MAlonzo.Code.Evaluator.Base
C_PartialSetoid'46'constructor_133MAlonzo.Code.Relation.Binary.Bundles
C_pat'45'lam_196MAlonzo.Code.Agda.Builtin.Reflection
C_pattErr_314MAlonzo.Code.Agda.Builtin.Reflection
C_pdata_40MAlonzo.Code.RawU
C_pi_202MAlonzo.Code.Agda.Builtin.Reflection
C_Poset'46'constructor_6389MAlonzo.Code.Relation.Binary.Bundles
C_Positive'46'constructor_1399MAlonzo.Code.Data.Integer.Base
C_pos_10MAlonzo.Code.Agda.Builtin.Int
C_PreMetric'46'constructor_1629MAlonzo.Code.Function.Metric.Nat.Bundles
C_Preorder'46'constructor_2267MAlonzo.Code.Relation.Binary.Bundles
C_prim'45'fun_306MAlonzo.Code.Agda.Builtin.Reflection
C_PrintfSpec'46'constructor_113MAlonzo.Code.Text.Printf.Generic
C_proj_260MAlonzo.Code.Agda.Builtin.Reflection
C_proof_474MAlonzo.Code.VerifiedCompilation
C_propLit_232MAlonzo.Code.Agda.Builtin.Reflection
C_prop_228MAlonzo.Code.Agda.Builtin.Reflection
C_ProtoMetric'46'constructor_193MAlonzo.Code.Function.Metric.Nat.Bundles
C_pushfd_28MAlonzo.Code.VerifiedCompilation.UForceDelay
C_quadraticCostIn1_20MAlonzo.Code.Cost.Model
C_quadraticCostIn2_24MAlonzo.Code.Cost.Model
C_QuadraticInXAndY_136MAlonzo.Code.Cost.Raw
C_QuadraticInY_132MAlonzo.Code.Cost.Raw
C_QuadraticInZ_134MAlonzo.Code.Cost.Raw
C_quantity'45'0_64MAlonzo.Code.Agda.Builtin.Reflection
C_quantity'45'ω_66MAlonzo.Code.Agda.Builtin.Reflection
C_Quasigroup'46'constructor_76277MAlonzo.Code.Algebra.Bundles
C_Quasiring'46'constructor_57285MAlonzo.Code.Algebra.Bundles
C_QuasiSemiMetric'46'constructor_3255MAlonzo.Code.Function.Metric.Nat.Bundles
C_quotientInteger_12MAlonzo.Code.Builtin
C_RawAlternative'46'constructor_9897MAlonzo.Code.Effect.Applicative
C_RawApplicative'46'constructor_453MAlonzo.Code.Effect.Applicative
C_RawApplicativeZero'46'constructor_8049MAlonzo.Code.Effect.Applicative
C_RawChoice'46'constructor_149MAlonzo.Code.Effect.Choice
C_RawEmpty'46'constructor_129MAlonzo.Code.Effect.Empty
C_RawFunctor'46'constructor_241MAlonzo.Code.Effect.Functor
C_RawGroup'46'constructor_1207MAlonzo.Code.Algebra.Bundles.Raw
C_RawKleeneAlgebra'46'constructor_6153MAlonzo.Code.Algebra.Bundles.Raw
C_RawLattice'46'constructor_121MAlonzo.Code.Algebra.Lattice.Bundles.Raw
C_RawLoop'46'constructor_5465MAlonzo.Code.Algebra.Bundles.Raw
C_RawMagma'46'constructor_341MAlonzo.Code.Algebra.Bundles.Raw
C_RawMonad'46'constructor_319MAlonzo.Code.Effect.Monad
C_RawMonadPlus'46'constructor_9035MAlonzo.Code.Effect.Monad
C_RawMonadTd'46'constructor_11233MAlonzo.Code.Effect.Monad
C_RawMonadZero'46'constructor_7131MAlonzo.Code.Effect.Monad
C_RawMonoid'46'constructor_745MAlonzo.Code.Algebra.Bundles.Raw
C_RawNearSemiring'46'constructor_1729MAlonzo.Code.Algebra.Bundles.Raw
C_RawQuasigroup'46'constructor_4731MAlonzo.Code.Algebra.Bundles.Raw
C_RawRing'46'constructor_3857MAlonzo.Code.Algebra.Bundles.Raw
C_RawRingWithoutOne'46'constructor_3105MAlonzo.Code.Algebra.Bundles.Raw
C_RawSemiring'46'constructor_2353MAlonzo.Code.Algebra.Bundles.Raw
C_RawSuccessorSet'46'constructor_89MAlonzo.Code.Algebra.Bundles.Raw
C_Raw_64MAlonzo.Code.Text.Format.Generic
C_readBit_162MAlonzo.Code.Builtin
C_record'45'type_296MAlonzo.Code.Agda.Builtin.Reflection
C_refl'8212''8608'_786MAlonzo.Code.Algorithmic.ReductionEC
C_refl'8801'β_14MAlonzo.Code.Type.Equality
C_refl_20MAlonzo.Code.Agda.Builtin.Equality
C_refl_28MAlonzo.Code.Relation.Binary.HeterogeneousEquality.Core
C_refl_36MAlonzo.Code.Relation.Binary.Construct.Closure.Reflexive
C_related_24MAlonzo.Code.Agda.Builtin.Reflection
C_relevant_58MAlonzo.Code.Agda.Builtin.Reflection
C_relTo_34MAlonzo.Code.Relation.Binary.Reasoning.Base.Single
C_remainderInteger_14MAlonzo.Code.Builtin
C_replicateByte_166MAlonzo.Code.Builtin
C_result_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_RightBolLoop'46'constructor_82729MAlonzo.Code.Algebra.Bundles
C_RightInverse'46'constructor_34573MAlonzo.Code.Function.Bundles
C_right_476MAlonzo.Code.Induction.WellFounded
C_Right_98MAlonzo.Code.Data.String.Base
C_Ring'46'constructor_68489MAlonzo.Code.Algebra.Bundles
C_RingWithoutOne'46'constructor_59923MAlonzo.Code.Algebra.Bundles
C_ripemd'45'160_176MAlonzo.Code.Builtin
C_rotateByteString_170MAlonzo.Code.Builtin
C_ruleEC_766MAlonzo.Code.Algorithmic.ReductionEC
C_ruleErr_776MAlonzo.Code.Algorithmic.ReductionEC
C_runtimeError_20MAlonzo.Code.Evaluator.Base
C_runtimeTypeError_354MAlonzo.Code.Utils
C_s'8804's_34MAlonzo.Code.Data.Nat.Base
C_scopeError_18MAlonzo.Code.Evaluator.Base
C_SelectiveMagma'46'constructor_2287MAlonzo.Code.Algebra.Bundles
C_Semigroup'46'constructor_9793MAlonzo.Code.Algebra.Bundles
C_Semilattice'46'constructor_193MAlonzo.Code.Algebra.Lattice.Bundles
C_SemimedialMagma'46'constructor_8683MAlonzo.Code.Algebra.Bundles
C_SemiMetric'46'constructor_4991MAlonzo.Code.Function.Metric.Nat.Bundles
C_Semiring'46'constructor_41765MAlonzo.Code.Algebra.Bundles
C_SemiringWithoutAnnihilatingZero'46'constructor_38993MAlonzo.Code.Algebra.Bundles
C_SemiringWithoutOne'46'constructor_34609MAlonzo.Code.Algebra.Bundles
C_serialiseData_104MAlonzo.Code.Builtin
C_Setoid'46'constructor_733MAlonzo.Code.Relation.Binary.Bundles
C_set_220MAlonzo.Code.Agda.Builtin.Reflection
C_sha2'45'256_40MAlonzo.Code.Builtin
C_sha3'45'256_42MAlonzo.Code.Builtin
C_shiftByteString_168MAlonzo.Code.Builtin
C_sig_86MAlonzo.Code.Builtin.Signature
C_Silent_40MAlonzo.Code.Evaluator.Program
C_sliceByteString_28MAlonzo.Code.Builtin
C_sndPair_68MAlonzo.Code.Builtin
C_SOP'8801'β_42MAlonzo.Code.Type.Equality
C_SOP_22MAlonzo.Code.Raw
C_SOP_28MAlonzo.Code.Type.BetaNormal
C_SOP_34MAlonzo.Code.Scoped
C_SOP_40MAlonzo.Code.Type
C_start_1120MAlonzo.Code.Utils.List
C_start_124MAlonzo.Code.Utils
C_start_690MAlonzo.Code.Utils.List
C_step'8902'_130MAlonzo.Code.Algorithmic.ReductionEC
C_steps_38MAlonzo.Code.Algorithmic.Evaluation
C_step_100MAlonzo.Code.Algorithmic.ReductionEC
C_step_18MAlonzo.Code.Algorithmic.ReductionEC.Progress
C_step_80MAlonzo.Code.Algorithmic.ReductionEC.Progress
C_strErr_310MAlonzo.Code.Agda.Builtin.Reflection
C_StrictPartialOrder'46'constructor_11097MAlonzo.Code.Relation.Binary.Bundles
C_StrictTotalOrder'46'constructor_21059MAlonzo.Code.Relation.Binary.Bundles
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_SubRelation'46'constructor_2989MAlonzo.Code.Relation.Binary.Reasoning.Syntax
C_SubtractedSizes_138MAlonzo.Code.Cost.Raw
C_subtractInteger_6MAlonzo.Code.Builtin
C_SuccessorSet'46'constructor_227MAlonzo.Code.Algebra.Bundles
C_suc_12MAlonzo.Code.Agda.Builtin.Nat
C_suc_16MAlonzo.Code.Data.Fin.Base
C_sucΠ_320MAlonzo.Code.Builtin.Signature
C_Surjection'46'constructor_11197MAlonzo.Code.Function.Bundles
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_62MAlonzo.Code.RawU
C_tailList_76MAlonzo.Code.Builtin
C_Tallying_44MAlonzo.Code.Evaluator.Program
C_TCEK_54MAlonzo.Code.Evaluator.Program
C_TCK_52MAlonzo.Code.Evaluator.Program
C_TCOpts_32MAlonzo.Code.Main
C_termErr_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_TL_50MAlonzo.Code.Evaluator.Program
C_tmCon_202MAlonzo.Code.RawU
C_TooFewCases_88MAlonzo.Code.Check
C_TooFewConstrArgs_86MAlonzo.Code.Check
C_TooManyCases_90MAlonzo.Code.Check
C_TooManyConstrArgs_84MAlonzo.Code.Check
C_TotalOrder'46'constructor_15747MAlonzo.Code.Relation.Binary.Bundles
C_TotalPreorder'46'constructor_4573MAlonzo.Code.Relation.Binary.Bundles
C_tp_814MAlonzo.Code.VerifiedCompilation.UntypedViews
C_trace_64MAlonzo.Code.Builtin
C_trans'8212''8608'_796MAlonzo.Code.Algorithmic.ReductionEC
C_trans'8801'β_18MAlonzo.Code.Type.Equality
C_translationfd_42MAlonzo.Code.VerifiedCompilation.UForceDelay
C_trans_394MAlonzo.Code.Induction.WellFounded
C_tree_262MAlonzo.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_48MAlonzo.Code.Cost.Model
C_twoArgumentsConstBelowDiagonal_50MAlonzo.Code.Cost.Model
C_twoArgumentsConstOffDiagonal_52MAlonzo.Code.Cost.Model
C_twoArgumentsLinearInMaxYZ_56MAlonzo.Code.Cost.Model
C_twoArgumentsLinearInYAndZ_54MAlonzo.Code.Cost.Model
C_twoArgumentsSubtractedSizes_46MAlonzo.Code.Cost.Model
C_Typecheck_42MAlonzo.Code.Main
C_typeError_14MAlonzo.Code.Evaluator.Base
C_typeMismatch_100MAlonzo.Code.Check
C_T_38MAlonzo.Code.Algorithmic
C_T_40MAlonzo.Code.Declarative
C_T_52MAlonzo.Code.Scoped
C_T_74MAlonzo.Code.Scoped
C_UApp_152MAlonzo.Code.RawU
C_UBuiltin_158MAlonzo.Code.RawU
C_UCase_166MAlonzo.Code.RawU
C_UConstr_164MAlonzo.Code.RawU
C_UCon_154MAlonzo.Code.RawU
C_UDelay_160MAlonzo.Code.RawU
C_UError_156MAlonzo.Code.RawU
C_UForce_162MAlonzo.Code.RawU
C_ULambda_150MAlonzo.Code.RawU
C_UltraMetric'46'constructor_8503MAlonzo.Code.Function.Metric.Nat.Bundles
C_unBData_100MAlonzo.Code.Builtin
C_unConstrData_92MAlonzo.Code.Builtin
C_UnexpectedEndOfString_84MAlonzo.Code.Text.Format.Generic
C_unIData_98MAlonzo.Code.Builtin
C_Unimplemented_104MAlonzo.Code.Check
C_UnitalMagma'46'constructor_14927MAlonzo.Code.Algebra.Bundles
C_unit_38MAlonzo.Code.RawU
C_UnknownType_34MAlonzo.Code.Check
C_unknown_216MAlonzo.Code.Agda.Builtin.Reflection
C_unknown_238MAlonzo.Code.Agda.Builtin.Reflection
C_unListData_96MAlonzo.Code.Builtin
C_unMapData_94MAlonzo.Code.Builtin
C_unrelated_26MAlonzo.Code.Agda.Builtin.Reflection
C_unwrap'45'_1128MAlonzo.Code.Algorithmic.CEK
C_unwrap'45'_398MAlonzo.Code.Algorithmic.ReductionEC
C_unwrap_'47'__534MAlonzo.Code.Algorithmic.ReductionEC
C_unwrap_132MAlonzo.Code.Declarative
C_unwrap_220MAlonzo.Code.Algorithmic
C_unwrap_50MAlonzo.Code.Raw
C_unwrap_548MAlonzo.Code.Scoped
C_userError_352MAlonzo.Code.Utils
C_UVar_148MAlonzo.Code.RawU
C_U_48MAlonzo.Code.Evaluator.Program
C_V'45'constr_140MAlonzo.Code.Algorithmic.CEK
C_V'45'constr_234MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'constr_60MAlonzo.Code.Untyped.CEK
C_V'45'con_162MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'con_50MAlonzo.Code.Untyped.CEK
C_V'45'con_86MAlonzo.Code.Algorithmic.CEK
C_V'45'delay_54MAlonzo.Code.Untyped.CEK
C_V'45'I'8658'_106MAlonzo.Code.Algorithmic.CEK
C_V'45'I'8658'_184MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'I'8658'_74MAlonzo.Code.Untyped.CEK
C_V'45'IΠ_128MAlonzo.Code.Algorithmic.CEK
C_V'45'IΠ_208MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'IΠ_90MAlonzo.Code.Untyped.CEK
C_V'45'wrap_156MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'wrap_82MAlonzo.Code.Algorithmic.CEK
C_V'45'ƛ_138MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'ƛ_46MAlonzo.Code.Untyped.CEK
C_V'45'ƛ_64MAlonzo.Code.Algorithmic.CEK
C_V'45'Λ_146MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'Λ_74MAlonzo.Code.Algorithmic.CEK
C_var_172MAlonzo.Code.Agda.Builtin.Reflection
C_var_252MAlonzo.Code.Agda.Builtin.Reflection
C_var_28MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_var_32MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_verifyEcdsaSecp256k1Signature_48MAlonzo.Code.Builtin
C_verifyEd25519Signature_46MAlonzo.Code.Builtin
C_verifySchnorrSecp256k1Signature_50MAlonzo.Code.Builtin
C_visible_50MAlonzo.Code.Agda.Builtin.Reflection
C_word64_132MAlonzo.Code.Agda.Builtin.Reflection
C_wrap'45'_1120MAlonzo.Code.Algorithmic.CEK
C_wrap'45'_390MAlonzo.Code.Algorithmic.ReductionEC
C_wrap_130MAlonzo.Code.Declarative
C_wrap_210MAlonzo.Code.Algorithmic
C_wrap_48MAlonzo.Code.Raw
C_wrap_522MAlonzo.Code.Algorithmic.ReductionEC
C_wrap_546MAlonzo.Code.Scoped
C_writeBits_164MAlonzo.Code.Builtin
C_xorByteString_158MAlonzo.Code.Builtin
C_z'8804'n_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'__36MAlonzo.Code.VerifiedCompilation.UForceDelay
C__'183''45'_1104MAlonzo.Code.Algorithmic.CEK
C__'183''45'_204MAlonzo.Code.Untyped.CEK
C__'183''45'_374MAlonzo.Code.Algorithmic.ReductionEC
C__'183''8902'_'47'__202MAlonzo.Code.Algorithmic
C__'183''8902'_'47'__512MAlonzo.Code.Algorithmic.ReductionEC
C__'183''8902'__124MAlonzo.Code.Declarative
C__'183''8902'__36MAlonzo.Code.Raw
C__'183''8902'__532MAlonzo.Code.Scoped
C__'183'r__500MAlonzo.Code.Algorithmic.ReductionEC
C__'183'__10MAlonzo.Code.Type.BetaNormal
C__'183'__118MAlonzo.Code.Declarative
C__'183'__14MAlonzo.Code.Raw
C__'183'__186MAlonzo.Code.Algorithmic
C__'183'__22MAlonzo.Code.Untyped
C__'183'__26MAlonzo.Code.Scoped
C__'183'__30MAlonzo.Code.Type
C__'183'__40MAlonzo.Code.Raw
C__'183'__536MAlonzo.Code.Scoped
C__'36''36'__190MAlonzo.Code.Algorithmic.CEK
C__'36'__162MAlonzo.Code.Algorithmic.CEK
C__'44''8902'__22MAlonzo.Code.Declarative
C__'44''8902'__6MAlonzo.Code.Type
C__'44''8902'__8MAlonzo.Code.Algorithmic
C__'44'__1176MAlonzo.Code.Algorithmic.CEK
C__'44'__12 
1 (Data Constructor)MAlonzo.Code.Algorithmic
2 (Data Constructor)MAlonzo.Code.Untyped.CEK
C__'44'__144MAlonzo.Code.Data.Vec.Bounded.Base
C__'44'__26MAlonzo.Code.Declarative
C__'44'__30MAlonzo.Code.Algorithmic.CK
C__'44'__318MAlonzo.Code.Utils
C__'44'__32MAlonzo.Code.Agda.Builtin.Sigma
C__'44'__378MAlonzo.Code.Utils
C__'44'__40MAlonzo.Code.Algebra.Definitions.RawMagma
C__'44'__66MAlonzo.Code.Algebra.Definitions.RawMagma
C__'44'__70MAlonzo.Code.Data.Tree.AVL.Value
C__'58''60'__12MAlonzo.Code.Utils.List
C__'58''60'__408MAlonzo.Code.Utils.List
C__'58''60'__850MAlonzo.Code.Utils.List
C__'8593'_34MAlonzo.Code.Builtin.Signature
C__'8658'__16MAlonzo.Code.Type.BetaNormal
C__'8658'__20MAlonzo.Code.Scoped
C__'8658'__26MAlonzo.Code.Type
C__'8658'__482MAlonzo.Code.Utils
C__'8658'__8MAlonzo.Code.Raw
C__'8759''691''8242'__312MAlonzo.Code.Data.List.NonEmpty.Base
C__'8759''691''8242'__484MAlonzo.Code.Data.List.Base
C__'8759'__192MAlonzo.Code.Declarative
C__'8759'__208MAlonzo.Code.Algorithmic.CEK
C__'8759'__22 
1 (Data Constructor)MAlonzo.Code.Agda.Builtin.List
2 (Data Constructor)MAlonzo.Code.Untyped.CEK
C__'8759'__28MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core
C__'8759'__280MAlonzo.Code.Algorithmic
C__'8759'__314MAlonzo.Code.Utils.List
C__'8759'__34MAlonzo.Code.Data.List.NonEmpty.Base
C__'8759'__38MAlonzo.Code.Data.Vec.Base
C__'8759'__388MAlonzo.Code.Utils
C__'8759'__60MAlonzo.Code.Data.List.Relation.Unary.All
C__'8759'__62MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base
C__'8759'__820MAlonzo.Code.Utils.List
C__'8771'_'46'constructor_973MAlonzo.Code.Function.Properties.Inverse.HalfAdjointEquivalence
C__'8804''8868''8314'_30MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.NonStrict
C__'8827'toℕ__524MAlonzo.Code.Data.Fin.Base
C__'894'_'9659'__1188MAlonzo.Code.Algorithmic.CEK
C__'894'_'9659'__222MAlonzo.Code.Untyped.CEK
C__'9659'__40MAlonzo.Code.Algorithmic.CK
C__'9666'__242MAlonzo.Code.Data.Integer.Base
C__'9669'__1192MAlonzo.Code.Algorithmic.CEK
C__'9669'__224MAlonzo.Code.Untyped.CEK
C__'9669'__46MAlonzo.Code.Algorithmic.CK
C__B'8658'__296MAlonzo.Code.Builtin.Signature
C__because__32MAlonzo.Code.Relation.Nullary.Decidable.Core
C__l'183'__490MAlonzo.Code.Algorithmic.ReductionEC
C_ƛ'8801'β_24MAlonzo.Code.Type.Equality
C_ƛ_116MAlonzo.Code.Declarative
C_ƛ_12MAlonzo.Code.Raw
C_ƛ_18MAlonzo.Code.Type.BetaNormal
C_ƛ_180MAlonzo.Code.Algorithmic
C_ƛ_20MAlonzo.Code.Untyped
C_ƛ_24MAlonzo.Code.Scoped
C_ƛ_28MAlonzo.Code.Type
C_ƛ_38 
1 (Data Constructor)MAlonzo.Code.Raw
2 (Data Constructor)MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_ƛ_46MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_ƛ_534MAlonzo.Code.Scoped
C_β'45'builtin_720MAlonzo.Code.Algorithmic.ReductionEC
C_β'45'case_746MAlonzo.Code.Algorithmic.ReductionEC
C_β'45'wrap_694MAlonzo.Code.Algorithmic.ReductionEC
C_β'45'ƛ_662MAlonzo.Code.Algorithmic.ReductionEC
C_β'45'Λ_678MAlonzo.Code.Algorithmic.ReductionEC
C_β'8801'β_48MAlonzo.Code.Type.Equality
C_ε_10MAlonzo.Code.Untyped.CEK
C_ε_1170MAlonzo.Code.Algorithmic.CEK
C_ε_22MAlonzo.Code.Algorithmic.CK
C_Λ_120MAlonzo.Code.Declarative
C_Λ_192MAlonzo.Code.Algorithmic
C_Λ_34MAlonzo.Code.Raw
C_Λ_530MAlonzo.Code.Scoped
C_μ'8801'β_28MAlonzo.Code.Type.Equality
C_μ_18MAlonzo.Code.Raw
C_μ_24MAlonzo.Code.Type.BetaNormal
C_μ_32 
1 (Data Constructor)MAlonzo.Code.Type
2 (Data Constructor)MAlonzo.Code.Scoped
C_Π'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