plutus-metatheory-1.60.0.0: Command line tool for running plutus core programs

Index - C

CertifierErrorCertifier
CertifierOutputCertifier
checkKindAgdaMAlonzo.Code.Evaluator.Term
checkTypeAgdaMAlonzo.Code.Evaluator.Term
check_'42'_768MAlonzo.Code.Utils
check_'91''93'_448MAlonzo.Code.Utils
check_'96'_34MAlonzo.Code.Raw
check_'96'_6MAlonzo.Code.Raw
check_'9839'_770MAlonzo.Code.Utils
check_aBls12'45'381'45'g1'45'element_20MAlonzo.Code.Builtin.Constant.AtomicType
check_aBls12'45'381'45'g2'45'element_22MAlonzo.Code.Builtin.Constant.AtomicType
check_aBls12'45'381'45'mlresult_24MAlonzo.Code.Builtin.Constant.AtomicType
check_aBool_16MAlonzo.Code.Builtin.Constant.AtomicType
check_aBytestring_10MAlonzo.Code.Builtin.Constant.AtomicType
check_aData_18MAlonzo.Code.Builtin.Constant.AtomicType
check_AddedSizes_148MAlonzo.Code.Cost.Raw
check_addInteger_4MAlonzo.Code.Builtin
check_aInteger_8MAlonzo.Code.Builtin.Constant.AtomicType
check_andByteString_160MAlonzo.Code.Builtin
check_appendByteString_24MAlonzo.Code.Builtin
check_appendString_52MAlonzo.Code.Builtin
check_applyToCaseT_20MAlonzo.Code.VerifiedCompilation.Trace
check_array_28MAlonzo.Code.Raw
check_array_54MAlonzo.Code.RawU
check_aString_12MAlonzo.Code.Builtin.Constant.AtomicType
check_atomic_24MAlonzo.Code.Raw
check_aUnit_14MAlonzo.Code.Builtin.Constant.AtomicType
check_bDATA_618MAlonzo.Code.Utils
check_bData_96MAlonzo.Code.Builtin
check_blake2b'45'224_154MAlonzo.Code.Builtin
check_blake2b'45'256_44MAlonzo.Code.Builtin
check_bls12'45'381'45'finalVerify_150MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'add_118MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'compress_128MAlonzo.Code.Builtin
check_bls12'45'381'45'g1'45'element_56MAlonzo.Code.RawU
check_bls12'45'381'45'G1'45'equal_124MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'hashToGroup_126MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'multiScalarMul_188MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'neg_120MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'scalarMul_122MAlonzo.Code.Builtin
check_bls12'45'381'45'G1'45'uncompress_130MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'add_132MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'compress_142MAlonzo.Code.Builtin
check_bls12'45'381'45'g2'45'element_58MAlonzo.Code.RawU
check_bls12'45'381'45'G2'45'equal_138MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'hashToGroup_140MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'multiScalarMul_190MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'neg_134MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'scalarMul_136MAlonzo.Code.Builtin
check_bls12'45'381'45'G2'45'uncompress_144MAlonzo.Code.Builtin
check_bls12'45'381'45'millerLoop_146MAlonzo.Code.Builtin
check_bls12'45'381'45'mlresult_60MAlonzo.Code.RawU
check_bls12'45'381'45'mulMlResult_148MAlonzo.Code.Builtin
check_bool_36MAlonzo.Code.RawU
check_builtin_44MAlonzo.Code.VerifiedCompilation.Trace
check_builtin_48MAlonzo.Code.Raw
check_byteStringToInteger_156MAlonzo.Code.Builtin
check_bytestring_32MAlonzo.Code.RawU
check_caseOfCaseT_12MAlonzo.Code.VerifiedCompilation.Trace
check_caseReduceT_14MAlonzo.Code.VerifiedCompilation.Trace
check_case_50MAlonzo.Code.VerifiedCompilation.Trace
check_case_68MAlonzo.Code.Raw
check_chooseData_86MAlonzo.Code.Builtin
check_chooseList_70MAlonzo.Code.Builtin
check_chooseUnit_62MAlonzo.Code.Builtin
check_complementByteString_166MAlonzo.Code.Builtin
check_consByteString_26MAlonzo.Code.Builtin
check_ConstAboveDiagonal_184MAlonzo.Code.Cost.Raw
check_ConstantCost_146MAlonzo.Code.Cost.Raw
check_ConstBelowDiagonal_186MAlonzo.Code.Cost.Raw
check_ConstOffDiagonal_188MAlonzo.Code.Cost.Raw
check_ConstrDATA_610MAlonzo.Code.Utils
check_constrData_88MAlonzo.Code.Builtin
check_constr_48MAlonzo.Code.VerifiedCompilation.Trace
check_constr_60MAlonzo.Code.Raw
check_con_16MAlonzo.Code.Raw
check_con_42MAlonzo.Code.VerifiedCompilation.Trace
check_con_44MAlonzo.Code.Raw
check_Counting_42MAlonzo.Code.Evaluator.Program
check_countSetBits_178MAlonzo.Code.Builtin
check_cseT_18MAlonzo.Code.VerifiedCompilation.Trace
check_deBError_578MAlonzo.Code.Scoped
check_decodeUtf8_58MAlonzo.Code.Builtin
check_delay_40MAlonzo.Code.VerifiedCompilation.Trace
check_divideInteger_10MAlonzo.Code.Builtin
check_dropList_186MAlonzo.Code.Builtin
check_encodeUtf8_56MAlonzo.Code.Builtin
check_equalsByteString_34MAlonzo.Code.Builtin
check_equalsData_108MAlonzo.Code.Builtin
check_equalsInteger_18MAlonzo.Code.Builtin
check_equalsString_54MAlonzo.Code.Builtin
check_error_46 
1 (Function)MAlonzo.Code.VerifiedCompilation.Trace
2 (Function)MAlonzo.Code.Raw
check_EvalOpts_28MAlonzo.Code.Main
check_Eval_40MAlonzo.Code.Main
check_expand_28MAlonzo.Code.VerifiedCompilation.Trace
check_ExpModCost_190MAlonzo.Code.Cost.Raw
check_expModInteger_184MAlonzo.Code.Builtin
check_findFirstSetBit_180MAlonzo.Code.Builtin
check_fixity_30MAlonzo.Code.Agda.Builtin.Reflection
check_floatDelayT_6MAlonzo.Code.VerifiedCompilation.Trace
check_forceCaseDelayT_10MAlonzo.Code.VerifiedCompilation.Trace
check_forceDelayT_8MAlonzo.Code.VerifiedCompilation.Trace
check_force_38MAlonzo.Code.VerifiedCompilation.Trace
check_freeVariableError_580MAlonzo.Code.Scoped
check_fstPair_66MAlonzo.Code.Builtin
check_gasError_410MAlonzo.Code.Utils
check_headList_74MAlonzo.Code.Builtin
check_iDATA_616MAlonzo.Code.Utils
check_iData_94MAlonzo.Code.Builtin
check_ifThenElse_60MAlonzo.Code.Builtin
check_indexArray_84MAlonzo.Code.Builtin
check_indexByteString_32MAlonzo.Code.Builtin
check_inj'8321'_12MAlonzo.Code.Utils
check_inj'8322'_14MAlonzo.Code.Utils
check_inlineT_16MAlonzo.Code.VerifiedCompilation.Trace
check_inline_54MAlonzo.Code.VerifiedCompilation.Trace
check_integerToByteString_158MAlonzo.Code.Builtin
check_integer_30MAlonzo.Code.RawU
check_jsonError_22MAlonzo.Code.Evaluator.Base
check_keccak'45'256_152MAlonzo.Code.Builtin
check_left'45'assoc_16MAlonzo.Code.Agda.Builtin.Reflection
check_lengthOfArray_80MAlonzo.Code.Builtin
check_lengthOfByteString_30MAlonzo.Code.Builtin
check_lessThanByteString_36MAlonzo.Code.Builtin
check_lessThanEqualsByteString_38MAlonzo.Code.Builtin
check_lessThanEqualsInteger_22MAlonzo.Code.Builtin
check_lessThanInteger_20MAlonzo.Code.Builtin
check_LinearInMaxYZ_166MAlonzo.Code.Cost.Raw
check_LinearInU_162MAlonzo.Code.Cost.Raw
check_LinearInXAndY_168MAlonzo.Code.Cost.Raw
check_LinearInX_156MAlonzo.Code.Cost.Raw
check_LinearInYAndZ_170MAlonzo.Code.Cost.Raw
check_LinearInY_158MAlonzo.Code.Cost.Raw
check_LinearInZ_160MAlonzo.Code.Cost.Raw
check_ListDATA_614MAlonzo.Code.Utils
check_listData_92MAlonzo.Code.Builtin
check_listToArray_82MAlonzo.Code.Builtin
check_list_26MAlonzo.Code.Raw
check_list_50MAlonzo.Code.RawU
check_LiteralInYOrLinearInZ_164MAlonzo.Code.Cost.Raw
check_MapDATA_612MAlonzo.Code.Utils
check_mapData_90MAlonzo.Code.Builtin
check_MaxSize_154MAlonzo.Code.Cost.Raw
check_MinSize_152MAlonzo.Code.Cost.Raw
check_mkCons_72MAlonzo.Code.Builtin
check_mkCpuAndMemoryModel_202MAlonzo.Code.Cost.Raw
check_mkExpModCostingFunction_142MAlonzo.Code.Cost.Raw
check_mkLinearFunction_42MAlonzo.Code.Cost.Raw
check_mkNilData_114MAlonzo.Code.Builtin
check_mkNilPairData_116MAlonzo.Code.Builtin
check_mkOneVariableQuadraticFunction_58MAlonzo.Code.Cost.Raw
check_mkPairData_112MAlonzo.Code.Builtin
check_mkTwoVariableLinearFunction_74MAlonzo.Code.Cost.Raw
check_mkTwoVariableQuadraticFunction_106MAlonzo.Code.Cost.Raw
check_mkTwoVariableWithInteractionFunction_126MAlonzo.Code.Cost.Raw
check_modInteger_16MAlonzo.Code.Builtin
check_MultipliedSizes_150MAlonzo.Code.Cost.Raw
check_multiplyInteger_8MAlonzo.Code.Builtin
check_non'45'assoc_20MAlonzo.Code.Agda.Builtin.Reflection
check_none_56MAlonzo.Code.VerifiedCompilation.Trace
check_nullList_78MAlonzo.Code.Builtin
check_orByteString_162MAlonzo.Code.Builtin
check_pair_30MAlonzo.Code.Raw
check_pair_46MAlonzo.Code.RawU
check_parseError_16MAlonzo.Code.Evaluator.Base
check_pdata_40MAlonzo.Code.RawU
check_QuadraticInXAndY_178MAlonzo.Code.Cost.Raw
check_QuadraticInX_172MAlonzo.Code.Cost.Raw
check_QuadraticInY_174MAlonzo.Code.Cost.Raw
check_QuadraticInZ_176MAlonzo.Code.Cost.Raw
check_quotientInteger_12MAlonzo.Code.Builtin
check_readBit_168MAlonzo.Code.Builtin
check_related_24MAlonzo.Code.Agda.Builtin.Reflection
check_remainderInteger_14MAlonzo.Code.Builtin
check_replicateByte_172MAlonzo.Code.Builtin
check_right'45'assoc_18MAlonzo.Code.Agda.Builtin.Reflection
check_ripemd'45'160_182MAlonzo.Code.Builtin
check_rotateByteString_176MAlonzo.Code.Builtin
check_runtimeError_20MAlonzo.Code.Evaluator.Base
check_runtimeTypeError_414MAlonzo.Code.Utils
check_scopeError_18MAlonzo.Code.Evaluator.Base
check_serialiseData_110MAlonzo.Code.Builtin
check_sha2'45'256_40MAlonzo.Code.Builtin
check_sha3'45'256_42MAlonzo.Code.Builtin
check_shiftByteString_174MAlonzo.Code.Builtin
check_Silent_40MAlonzo.Code.Evaluator.Program
check_sliceByteString_28MAlonzo.Code.Builtin
check_sndPair_68MAlonzo.Code.Builtin
check_SOP_22MAlonzo.Code.Raw
check_string_34MAlonzo.Code.RawU
check_SubtractedSizes_182MAlonzo.Code.Cost.Raw
check_subtractInteger_6MAlonzo.Code.Builtin
check_tagCon_110MAlonzo.Code.RawU
check_tailList_76MAlonzo.Code.Builtin
check_Tallying_44MAlonzo.Code.Evaluator.Program
check_TCEK_54MAlonzo.Code.Evaluator.Program
check_TCK_52MAlonzo.Code.Evaluator.Program
check_TCOpts_32MAlonzo.Code.Main
check_TL_50MAlonzo.Code.Evaluator.Program
check_trace_64MAlonzo.Code.Builtin
check_tt_8MAlonzo.Code.Agda.Builtin.Unit
check_Typecheck_42MAlonzo.Code.Main
check_typeError_14MAlonzo.Code.Evaluator.Base
check_UApp_214MAlonzo.Code.RawU
check_UBuiltin_220MAlonzo.Code.RawU
check_UCase_228MAlonzo.Code.RawU
check_UConstr_226MAlonzo.Code.RawU
check_UCon_216MAlonzo.Code.RawU
check_UDelay_222MAlonzo.Code.RawU
check_UError_218MAlonzo.Code.RawU
check_UForce_224MAlonzo.Code.RawU
check_ULambda_212MAlonzo.Code.RawU
check_unBData_106MAlonzo.Code.Builtin
check_unConstrData_98MAlonzo.Code.Builtin
check_unIData_104MAlonzo.Code.Builtin
check_unit_38MAlonzo.Code.RawU
check_unknown_22MAlonzo.Code.VerifiedCompilation.Trace
check_unListData_102MAlonzo.Code.Builtin
check_unMapData_100MAlonzo.Code.Builtin
check_unrelated_26MAlonzo.Code.Agda.Builtin.Reflection
check_unwrap_52MAlonzo.Code.Raw
check_userError_412MAlonzo.Code.Utils
check_UVar_210MAlonzo.Code.RawU
check_U_48MAlonzo.Code.Evaluator.Program
check_var_26MAlonzo.Code.VerifiedCompilation.Trace
check_verifyEcdsaSecp256k1Signature_48MAlonzo.Code.Builtin
check_verifyEd25519Signature_46MAlonzo.Code.Builtin
check_verifySchnorrSecp256k1Signature_50MAlonzo.Code.Builtin
check_WithInteractionInXAndY_180MAlonzo.Code.Cost.Raw
check_wrap_50MAlonzo.Code.Raw
check_writeBits_170MAlonzo.Code.Builtin
check_xorByteString_164MAlonzo.Code.Builtin
check__'183''8595'_36MAlonzo.Code.VerifiedCompilation.Trace
check__'183''8902'__38MAlonzo.Code.Raw
check__'183'__14MAlonzo.Code.Raw
check__'183'__34MAlonzo.Code.VerifiedCompilation.Trace
check__'183'__42MAlonzo.Code.Raw
check__'44'__440MAlonzo.Code.Utils
check__'8658'__772MAlonzo.Code.Utils
check__'8658'__8MAlonzo.Code.Raw
check__'8759'__450MAlonzo.Code.Utils
check_ƛ'8595'_32MAlonzo.Code.VerifiedCompilation.Trace
check_ƛ_12MAlonzo.Code.Raw
check_ƛ_30MAlonzo.Code.VerifiedCompilation.Trace
check_ƛ_40MAlonzo.Code.Raw
check_Λ_36MAlonzo.Code.Raw
check_μ_18MAlonzo.Code.Raw
check_Π_10MAlonzo.Code.Raw
coeMAlonzo.RTE
CommandFFI.Opts
commandsFFI.Opts
conv 
1 (Function)FFI.Untyped
2 (Function)Raw
convKRaw
convP 
1 (Function)FFI.Untyped
2 (Function)Raw
convTRaw
convTyConRaw
CostModelFFI.Opts
CountingFFI.Opts
countingbudgetFFI.Opts
cover_'8868'_6MAlonzo.Code.Agda.Builtin.Unit
cover_Associativity_14MAlonzo.Code.Agda.Builtin.Reflection
cover_AtomicTyCon_6MAlonzo.Code.Builtin.Constant.AtomicType
cover_BudgetMode_36MAlonzo.Code.Evaluator.Program
cover_Builtin_2MAlonzo.Code.Builtin
cover_Command_36MAlonzo.Code.Main
cover_CpuAndMemoryModel_192MAlonzo.Code.Cost.Raw
cover_DATA_608MAlonzo.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_ExpModCostingFunction_128MAlonzo.Code.Cost.Raw
cover_Fixity_28MAlonzo.Code.Agda.Builtin.Reflection
cover_Hints_52MAlonzo.Code.VerifiedCompilation.Trace
cover_InlineHints_24MAlonzo.Code.VerifiedCompilation.Trace
cover_Kind_766MAlonzo.Code.Utils
cover_LinearFunction_32MAlonzo.Code.Cost.Raw
cover_List_444MAlonzo.Code.Utils
cover_OneVariableQuadraticFunction_44MAlonzo.Code.Cost.Raw
cover_Precedence_22MAlonzo.Code.Agda.Builtin.Reflection
cover_RawModel_144MAlonzo.Code.Cost.Raw
cover_RawTm_32MAlonzo.Code.Raw
cover_RawTyCon_4MAlonzo.Code.Raw
cover_RawTy_2MAlonzo.Code.Raw
cover_RuntimeError_408MAlonzo.Code.Utils
cover_ScopeError_576MAlonzo.Code.Scoped
cover_SimplifierTag_4MAlonzo.Code.VerifiedCompilation.Trace
cover_TagCon_106MAlonzo.Code.RawU
cover_Tag_28MAlonzo.Code.RawU
cover_TwoVariableLinearFunction_60MAlonzo.Code.Cost.Raw
cover_TwoVariableQuadraticFunction_76MAlonzo.Code.Cost.Raw
cover_TwoVariableWithInteractionFunction_108MAlonzo.Code.Cost.Raw
cover_TypecheckOptions_30MAlonzo.Code.Main
cover_Untyped_208MAlonzo.Code.RawU
cover__'215'__426MAlonzo.Code.Utils
C_'183''8801'β_26MAlonzo.Code.Type.Equality
C_'42'_768MAlonzo.Code.Utils
C_'43''60''43'_72MAlonzo.Code.Data.Integer.Base
C_'43''8804''43'_48MAlonzo.Code.Data.Integer.Base
C_'43'_10MAlonzo.Code.Data.Sign.Base
C_'45''183''8902'_1210MAlonzo.Code.Algorithmic.CEK
C_'45''183''8902'_382MAlonzo.Code.Algorithmic.ReductionEC
C_'45''183'v_1196MAlonzo.Code.Algorithmic.CEK
C_'45''183'v_202MAlonzo.Code.Untyped.CEK
C_'45''183'v_366MAlonzo.Code.Algorithmic.ReductionEC
C_'45''183'_1190MAlonzo.Code.Algorithmic.CEK
C_'45''183'_200MAlonzo.Code.Untyped.CEK
C_'45''183'__358MAlonzo.Code.Algorithmic.ReductionEC
C_'45''60''43'_64MAlonzo.Code.Data.Integer.Base
C_'45''60''45'_58MAlonzo.Code.Data.Integer.Base
C_'45''8804''43'_40MAlonzo.Code.Data.Integer.Base
C_'45''8804''45'_34MAlonzo.Code.Data.Integer.Base
C_'45'_8MAlonzo.Code.Data.Sign.Base
C_'8658''8801'β_20MAlonzo.Code.Type.Equality
C_'8709'_18MAlonzo.Code.Declarative
C_'8709'_4 
1 (Data Constructor)MAlonzo.Code.Type
2 (Data Constructor)MAlonzo.Code.Algorithmic
C_'8729''8776''8729'_22MAlonzo.Code.Relation.Binary.Construct.Add.Point.Equality
C_'8764''43'_34MAlonzo.Code.Data.Tree.AVL.Height
C_'8764''45'_42MAlonzo.Code.Data.Tree.AVL.Height
C_'8764'0_38MAlonzo.Code.Data.Tree.AVL.Height
C_'8804''8242''45'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''33'_1962MAlonzo.Code.VerifiedCompilation.UntypedViews
C_'91''93'_10MAlonzo.Code.Utils.List
C_'91''93'_16MAlonzo.Code.Agda.Builtin.List
C_'91''93'_18MAlonzo.Code.Untyped.CEK
C_'91''93'_180MAlonzo.Code.Declarative
C_'91''93'_202MAlonzo.Code.Algorithmic.CEK
C_'91''93'_22MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core
C_'91''93'_278MAlonzo.Code.Algorithmic
C_'91''93'_308MAlonzo.Code.Utils.List
C_'91''93'_32MAlonzo.Code.Data.Vec.Base
C_'91''93'_402MAlonzo.Code.Utils.List
C_'91''93'_448MAlonzo.Code.Utils
C_'91''93'_466MAlonzo.Code.Utils
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''33'_864MAlonzo.Code.VerifiedCompilation.UntypedViews
C_'96''8595'_234MAlonzo.Code.VerifiedCompilation.UInline
C_'96'_114MAlonzo.Code.Declarative
C_'96'_18 
1 (Data Constructor)MAlonzo.Code.Scoped
2 (Data Constructor)MAlonzo.Code.Untyped
C_'96'_184MAlonzo.Code.Algorithmic
C_'96'_22MAlonzo.Code.Type
C_'96'_230MAlonzo.Code.VerifiedCompilation.UInline
C_'96'_32MAlonzo.Code.Builtin.Signature
C_'96'_34MAlonzo.Code.Raw
C_'96'_528MAlonzo.Code.Scoped
C_'96'_6MAlonzo.Code.Raw
C_'96'_8 
1 (Data Constructor)MAlonzo.Code.Type.BetaNormal
2 (Data Constructor)MAlonzo.Code.Builtin.Signature
C_'9633'_106MAlonzo.Code.VerifiedCompilation.UInline
C_'9633'_1292MAlonzo.Code.Algorithmic.CEK
C_'9633'_226MAlonzo.Code.Untyped.CEK
C_'9633'_32MAlonzo.Code.VerifiedCompilation.UInline
C_'9633'_50MAlonzo.Code.Algorithmic.CK
C_'9633'_82MAlonzo.Code.VerifiedCompilation.UForceDelay
C_'9670'_1294MAlonzo.Code.Algorithmic.CEK
C_'9670'_228MAlonzo.Code.Untyped.CEK
C_'9670'_54MAlonzo.Code.Algorithmic.CK
C_'9839'_42MAlonzo.Code.Algorithmic
C_'9839'_770MAlonzo.Code.Utils
C_0ℙ_8MAlonzo.Code.Data.Parity.Base
C_1ℙ_10MAlonzo.Code.Data.Parity.Base
C_a2c_16MAlonzo.Code.VerifiedCompilation.UApplyToCase
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_abort_10MAlonzo.Code.VerifiedCompilation
C_abort_32MAlonzo.Code.VerifiedCompilation.Certificate
C_abort_70MAlonzo.Code.VerifiedCompilation.Certificate
C_absurd'45'clause_278MAlonzo.Code.Agda.Builtin.Reflection
C_absurd_264MAlonzo.Code.Agda.Builtin.Reflection
C_abs_122 
1 (Data Constructor)MAlonzo.Code.Agda.Builtin.Reflection
2 (Data Constructor)MAlonzo.Code.VerifiedCompilation.UForceDelay
C_aBytestring_10MAlonzo.Code.Builtin.Constant.AtomicType
C_accept_6MAlonzo.Code.VerifiedCompilation.NotImplemented
C_acc_52MAlonzo.Code.Induction.WellFounded
C_aData_18MAlonzo.Code.Builtin.Constant.AtomicType
C_addComm_2124MAlonzo.Code.VerifiedCompilation.UntypedViews
C_AddedSizes_148MAlonzo.Code.Cost.Raw
C_addedSizes_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_796MAlonzo.Code.VerifiedCompilation.UntypedViews
C_AlternativeMagma'46'constructor_5457MAlonzo.Code.Algebra.Bundles
C_andByteString_160MAlonzo.Code.Builtin
C_ApartnessRelation'46'constructor_25337MAlonzo.Code.Relation.Binary.Bundles
C_app'45'constr_412MAlonzo.Code.Untyped.Reduction
C_app'45'con_398MAlonzo.Code.Untyped.Reduction
C_app'45'delay_404MAlonzo.Code.Untyped.Reduction
C_app'45'interleave'45'error_392MAlonzo.Code.Untyped.Reduction
C_app'8902'_120MAlonzo.Code.Untyped.CEK
C_appendByteString_24MAlonzo.Code.Builtin
C_appendString_52MAlonzo.Code.Builtin
C_appfd'8315''185'_54MAlonzo.Code.VerifiedCompilation.UForceDelay
C_appfd_46MAlonzo.Code.VerifiedCompilation.UForceDelay
C_applyToCaseT_20MAlonzo.Code.VerifiedCompilation.Trace
C_app_106MAlonzo.Code.Untyped.CEK
C_app_120MAlonzo.Code.VerifiedCompilation.UForceDelay
C_app_42MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_app_46MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_app_50MAlonzo.Code.Untyped.Purity
C_arg'45'info_82MAlonzo.Code.Agda.Builtin.Reflection
C_argtype_70MAlonzo.Code.Builtin.Signature
C_Arg_62MAlonzo.Code.Text.Format.Generic
C_arg_98MAlonzo.Code.Agda.Builtin.Reflection
C_array_12MAlonzo.Code.Builtin.Constant.Type
C_array_20MAlonzo.Code.Builtin.Signature
C_array_28MAlonzo.Code.Raw
C_array_54MAlonzo.Code.RawU
C_aString_12MAlonzo.Code.Builtin.Constant.AtomicType
C_atomic_12MAlonzo.Code.Builtin.Signature
C_atomic_24MAlonzo.Code.Raw
C_atomic_8MAlonzo.Code.Builtin.Constant.Type
C_aUnit_14MAlonzo.Code.Builtin.Constant.AtomicType
C_axiom_304MAlonzo.Code.Agda.Builtin.Reflection
C_b'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_618MAlonzo.Code.Utils
C_bData_96MAlonzo.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_154MAlonzo.Code.Builtin
C_blake2b'45'256_44MAlonzo.Code.Builtin
C_BLamAbs_12MAlonzo.Code.Cost.Base
C_blockerAll_104MAlonzo.Code.Agda.Builtin.Reflection
C_blockerAny_102MAlonzo.Code.Agda.Builtin.Reflection
C_blockerMeta_106MAlonzo.Code.Agda.Builtin.Reflection
C_bls12'45'381'45'finalVerify_150MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'add_118MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'compress_128MAlonzo.Code.Builtin
C_bls12'45'381'45'g1'45'element_56MAlonzo.Code.RawU
C_bls12'45'381'45'G1'45'equal_124MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'hashToGroup_126MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'multiScalarMul_188MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'neg_120MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'scalarMul_122MAlonzo.Code.Builtin
C_bls12'45'381'45'G1'45'uncompress_130MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'add_132MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'compress_142MAlonzo.Code.Builtin
C_bls12'45'381'45'g2'45'element_58MAlonzo.Code.RawU
C_bls12'45'381'45'G2'45'equal_138MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'hashToGroup_140MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'multiScalarMul_190MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'neg_134MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'scalarMul_136MAlonzo.Code.Builtin
C_bls12'45'381'45'G2'45'uncompress_144MAlonzo.Code.Builtin
C_bls12'45'381'45'millerLoop_146MAlonzo.Code.Builtin
C_bls12'45'381'45'mlresult_60MAlonzo.Code.RawU
C_bls12'45'381'45'mulMlResult_148MAlonzo.Code.Builtin
C_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_280MAlonzo.Code.Builtin.Signature
C_broken'45'const_328MAlonzo.Code.Untyped.Reduction
C_BStartup_42MAlonzo.Code.Cost.Base
C_BStep_36MAlonzo.Code.Cost.Base
C_bubble_1136MAlonzo.Code.Utils.List
C_bubble_192MAlonzo.Code.Utils
C_bubble_700MAlonzo.Code.Utils.List
C_builtin'33'_974MAlonzo.Code.VerifiedCompilation.UntypedViews
C_builtinError_102MAlonzo.Code.Check
C_BuiltinModel'46'constructor_607MAlonzo.Code.Cost.Model
C_builtin_'47'__264MAlonzo.Code.Algorithmic
C_builtin_166MAlonzo.Code.Declarative
C_builtin_200MAlonzo.Code.Untyped.Reduction
C_builtin_22MAlonzo.Code.Untyped.Purity
C_builtin_270MAlonzo.Code.VerifiedCompilation.UInline
C_builtin_44 
1 (Data Constructor)MAlonzo.Code.VerifiedCompilation.Trace
2 (Data Constructor)MAlonzo.Code.Untyped
C_builtin_48MAlonzo.Code.Raw
C_builtin_544MAlonzo.Code.Scoped
C_builtin_56MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_builtin_80MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_BVar_10MAlonzo.Code.Cost.Base
C_byteStringToInteger_156MAlonzo.Code.Builtin
C_bytestring_32MAlonzo.Code.RawU
C_CancellativeCommutativeSemiring'46'constructor_48119MAlonzo.Code.Algebra.Bundles
C_case'33'_936MAlonzo.Code.VerifiedCompilation.UntypedViews
C_case'45'builtin_440MAlonzo.Code.Untyped.Reduction
C_case'45'constr_320MAlonzo.Code.Untyped.Reduction
C_case'45'con_434MAlonzo.Code.Untyped.Reduction
C_case'45'delay_428MAlonzo.Code.Untyped.Reduction
C_case'45'error_416MAlonzo.Code.Untyped.Reduction
C_case'45'reduce_466MAlonzo.Code.Untyped.Reduction
C_case'45'unsat'8320'_450MAlonzo.Code.Untyped.Reduction
C_case'45'unsat'8321'_458MAlonzo.Code.Untyped.Reduction
C_case'45'_1258MAlonzo.Code.Algorithmic.CEK
C_case'45'_216MAlonzo.Code.Untyped.CEK
C_case'45'_428MAlonzo.Code.Algorithmic.ReductionEC
C_case'45'ƛ_422MAlonzo.Code.Untyped.Reduction
C_caseOfCaseT_12MAlonzo.Code.VerifiedCompilation.Trace
C_caseReduceT_14MAlonzo.Code.VerifiedCompilation.Trace
C_casereduce_18MAlonzo.Code.VerifiedCompilation.UCaseReduce
C_case_154MAlonzo.Code.Declarative
C_case_252MAlonzo.Code.Algorithmic
C_case_290MAlonzo.Code.VerifiedCompilation.UInline
C_case_40MAlonzo.Code.Untyped
C_case_50MAlonzo.Code.VerifiedCompilation.Trace
C_case_564MAlonzo.Code.Scoped
C_case_568MAlonzo.Code.Algorithmic.ReductionEC
C_case_68MAlonzo.Code.Raw
C_case_70MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_case_76MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_Center_96MAlonzo.Code.Data.String.Base
C_ce_26MAlonzo.Code.VerifiedCompilation.Certificate
C_ce_52MAlonzo.Code.VerifiedCompilation.Certificate
C_CharArg_12MAlonzo.Code.Text.Format
C_char_140MAlonzo.Code.Agda.Builtin.Reflection
C_chooseData_86MAlonzo.Code.Builtin
C_chooseList_70MAlonzo.Code.Builtin
C_chooseUnit_62MAlonzo.Code.Builtin
C_clause_272MAlonzo.Code.Agda.Builtin.Reflection
C_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_166MAlonzo.Code.Builtin
C_con'33'_964MAlonzo.Code.VerifiedCompilation.UntypedViews
C_con'8801'β_34MAlonzo.Code.Type.Equality
C_cons'10216''91''8801''93''10217'β_74MAlonzo.Code.Type.Equality
C_cons'91''8801''93'β_60MAlonzo.Code.Type.Equality
C_consByteString_26MAlonzo.Code.Builtin
C_ConstAboveDiagonal_184MAlonzo.Code.Cost.Raw
C_constantCost_12MAlonzo.Code.Cost.Model
C_ConstantCost_146MAlonzo.Code.Cost.Raw
C_ConstBelowDiagonal_186MAlonzo.Code.Cost.Raw
C_ConstOffDiagonal_188MAlonzo.Code.Cost.Raw
C_constr'33'_954MAlonzo.Code.VerifiedCompilation.UntypedViews
C_constr'45'error_354MAlonzo.Code.Untyped.Reduction
C_constr'45'step_338MAlonzo.Code.Untyped.Reduction
C_constr'45'sub'45'error_362MAlonzo.Code.Untyped.Reduction
C_constr'45'sub'45'step_348MAlonzo.Code.Untyped.Reduction
C_constr'45'_1246MAlonzo.Code.Algorithmic.CEK
C_constr'45'_210MAlonzo.Code.Untyped.CEK
C_constr'45'_420MAlonzo.Code.Algorithmic.ReductionEC
C_ConstrDATA_610MAlonzo.Code.Utils
C_constrData_88MAlonzo.Code.Builtin
C_constr_142MAlonzo.Code.Declarative
C_constr_18MAlonzo.Code.Untyped.Purity
C_constr_228MAlonzo.Code.Untyped.Reduction
C_constr_240MAlonzo.Code.Algorithmic
C_constr_280MAlonzo.Code.VerifiedCompilation.UInline
C_constr_34MAlonzo.Code.Untyped
C_constr_48MAlonzo.Code.VerifiedCompilation.Trace
C_constr_556MAlonzo.Code.Scoped
C_constr_558MAlonzo.Code.Algorithmic.ReductionEC
C_constr_60MAlonzo.Code.Raw
C_constr_66MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_constr_78MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_conv_156MAlonzo.Code.Declarative
C_con_16MAlonzo.Code.Raw
C_con_162MAlonzo.Code.Declarative
C_con_178MAlonzo.Code.Agda.Builtin.Reflection
C_con_196MAlonzo.Code.Untyped.Reduction
C_con_22MAlonzo.Code.Type.BetaNormal
C_con_244MAlonzo.Code.Agda.Builtin.Reflection
C_con_258MAlonzo.Code.Algorithmic
C_con_266MAlonzo.Code.VerifiedCompilation.UInline
C_con_28MAlonzo.Code.Untyped
C_con_30MAlonzo.Code.Scoped
C_con_36MAlonzo.Code.Type
C_con_42MAlonzo.Code.VerifiedCompilation.Trace
C_con_44MAlonzo.Code.Raw
C_con_538MAlonzo.Code.Scoped
C_con_58MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_con_62MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_con_66MAlonzo.Code.Untyped.Purity
C_counterExample_8MAlonzo.Code.VerifiedCompilation
C_Counting_42MAlonzo.Code.Evaluator.Program
C_countSetBits_178MAlonzo.Code.Builtin
C_cseT_18MAlonzo.Code.VerifiedCompilation.Trace
C_cse_14MAlonzo.Code.VerifiedCompilation.UCSE
C_data'45'cons_302MAlonzo.Code.Agda.Builtin.Reflection
C_data'45'type_290MAlonzo.Code.Agda.Builtin.Reflection
C_deBError_578MAlonzo.Code.Scoped
C_DecEq'46'constructor_11MAlonzo.Code.Untyped.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_delay'33'_918MAlonzo.Code.VerifiedCompilation.UntypedViews
C_delay_118MAlonzo.Code.VerifiedCompilation.UForceDelay
C_delay_188MAlonzo.Code.Untyped.Reduction
C_delay_26MAlonzo.Code.Untyped
C_delay_262MAlonzo.Code.VerifiedCompilation.UInline
C_delay_36MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_delay_40MAlonzo.Code.VerifiedCompilation.Trace
C_delay_54MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_delay_58MAlonzo.Code.Untyped.Purity
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_done_526MAlonzo.Code.Untyped.Reduction
C_done_66MAlonzo.Code.VerifiedCompilation.Trace
C_dot_248MAlonzo.Code.Agda.Builtin.Reflection
C_dropList_186MAlonzo.Code.Builtin
C_drop_122MAlonzo.Code.VerifiedCompilation.UInline
C_E'45'error_1176MAlonzo.Code.Algorithmic.CEK
C_E'45'error_346MAlonzo.Code.Algorithmic.ReductionEC
C_emptyDump_4MAlonzo.Code.VerifiedCompilation
C_encodeUtf8_56MAlonzo.Code.Builtin
C_equalsByteString_34MAlonzo.Code.Builtin
C_equalsData_108MAlonzo.Code.Builtin
C_equalsInteger_18MAlonzo.Code.Builtin
C_equalsString_54MAlonzo.Code.Builtin
C_equals_74MAlonzo.Code.Relation.Binary.Reasoning.Base.Double
C_equals_94MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
C_equal_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'33'_978MAlonzo.Code.VerifiedCompilation.UntypedViews
C_Error'46'constructor_421MAlonzo.Code.Text.Printf.Generic
C_error'8321'_294MAlonzo.Code.Untyped.Reduction
C_error'8322'_298MAlonzo.Code.Untyped.Reduction
C_error_170MAlonzo.Code.Declarative
C_error_26MAlonzo.Code.Algorithmic.Evaluation
C_error_268MAlonzo.Code.Algorithmic
C_error_292MAlonzo.Code.VerifiedCompilation.UInline
C_error_46 
1 (Data Constructor)MAlonzo.Code.VerifiedCompilation.Trace
2 (Data Constructor)MAlonzo.Code.Raw
3 (Data Constructor)MAlonzo.Code.Untyped
C_error_50MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_error_540MAlonzo.Code.Scoped
C_error_82MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_EvalOpts_28MAlonzo.Code.Main
C_Eval_40MAlonzo.Code.Main
C_expand_28MAlonzo.Code.VerifiedCompilation.Trace
C_ExpModCost_190MAlonzo.Code.Cost.Raw
C_expModInteger_184MAlonzo.Code.Builtin
C_f'60't_20MAlonzo.Code.Data.Bool.Base
C_f'8804't_12MAlonzo.Code.Data.Bool.Base
C_fail_528MAlonzo.Code.Untyped.Reduction
C_false_8MAlonzo.Code.Agda.Builtin.Bool
C_findFirstSetBit_180MAlonzo.Code.Builtin
C_fixity_30MAlonzo.Code.Agda.Builtin.Reflection
C_FlexibleMagma'46'constructor_6559MAlonzo.Code.Algebra.Bundles
C_FloatArg_10MAlonzo.Code.Text.Format
C_floatDelayT_6MAlonzo.Code.VerifiedCompilation.Trace
C_floatdelay_476MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_float_136MAlonzo.Code.Agda.Builtin.Reflection
C_force'33'_906MAlonzo.Code.VerifiedCompilation.UntypedViews
C_force'45'constr_376MAlonzo.Code.Untyped.Reduction
C_force'45'con_370MAlonzo.Code.Untyped.Reduction
C_force'45'delay_290MAlonzo.Code.Untyped.Reduction
C_force'45'error_300MAlonzo.Code.Untyped.Reduction
C_force'45'interleave'45'error_382MAlonzo.Code.Untyped.Reduction
C_force'45'_206MAlonzo.Code.Untyped.CEK
C_force'45'ƛ_366MAlonzo.Code.Untyped.Reduction
C_forceCaseDelayT_10MAlonzo.Code.VerifiedCompilation.Trace
C_forceDelayT_8MAlonzo.Code.VerifiedCompilation.Trace
C_forcedelay_14MAlonzo.Code.VerifiedCompilation.UForceDelay
C_forced_28MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_force_116MAlonzo.Code.VerifiedCompilation.UForceDelay
C_force_12MAlonzo.Code.Untyped.Purity
C_force_24MAlonzo.Code.Untyped
C_force_258MAlonzo.Code.VerifiedCompilation.UInline
C_force_32MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_force_38MAlonzo.Code.VerifiedCompilation.Trace
C_force_48MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_force_84MAlonzo.Code.VerifiedCompilation.UForceDelay
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_410MAlonzo.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_57MAlonzo.Code.Untyped.Equality
C_iDATA_616MAlonzo.Code.Utils
C_iData_94MAlonzo.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_128MAlonzo.Code.VerifiedCompilation.UForceDelay
C_ifThenElse_60MAlonzo.Code.Builtin
C_illScoped_6MAlonzo.Code.VerifiedCompilation
C_implication_8MAlonzo.Code.Function.Related.Propositional
C_implication_96MAlonzo.Code.Function.Related.Propositional
C_indexArray_84MAlonzo.Code.Builtin
C_indexByteString_32MAlonzo.Code.Builtin
C_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_inh_1988MAlonzo.Code.VerifiedCompilation.UntypedViews
C_inj'8321'_12MAlonzo.Code.Utils
C_inj'8321'_38MAlonzo.Code.Data.Sum.Base
C_inj'8321'_88MAlonzo.Code.Data.Sum.Relation.Binary.Pointwise
C_inj'8322'_14MAlonzo.Code.Utils
C_inj'8322'_42MAlonzo.Code.Data.Sum.Base
C_inj'8322'_94MAlonzo.Code.Data.Sum.Relation.Binary.Pointwise
C_Injection'46'constructor_8675MAlonzo.Code.Function.Bundles
C_injection_100MAlonzo.Code.Function.Related.Propositional
C_injection_14MAlonzo.Code.Function.Related.Propositional
C_inlineT_16MAlonzo.Code.VerifiedCompilation.Trace
C_inline_54MAlonzo.Code.VerifiedCompilation.Trace
C_instance'8242'_54MAlonzo.Code.Agda.Builtin.Reflection
C_integerToByteString_158MAlonzo.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_156MAlonzo.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_706MAlonzo.Code.VerifiedCompilation.UntypedViews
C_IsCancellativeCommutativeSemiring'46'constructor_55863MAlonzo.Code.Algebra.Structures
C_iscase_588MAlonzo.Code.VerifiedCompilation.UntypedViews
C_isCoCCase_54MAlonzo.Code.VerifiedCompilation.UCaseOfCase
C_isCoCForce_158MAlonzo.Code.VerifiedCompilation.UCaseOfCase
C_isCoC_26MAlonzo.Code.VerifiedCompilation.UCaseOfCase
C_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_490MAlonzo.Code.VerifiedCompilation.UntypedViews
C_iscon_446MAlonzo.Code.VerifiedCompilation.UntypedViews
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_364MAlonzo.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_742MAlonzo.Code.VerifiedCompilation.UntypedViews
C_IsFlexibleMagma'46'constructor_6681MAlonzo.Code.Algebra.Structures
C_isforce_278MAlonzo.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_64MAlonzo.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_780MAlonzo.Code.VerifiedCompilation.UntypedViews
C_IsTotalOrder'46'constructor_20555MAlonzo.Code.Relation.Binary.Structures
C_IsTotalPreorder'46'constructor_8325MAlonzo.Code.Relation.Binary.Structures
C_istranslation_92MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_IsUnitalMagma'46'constructor_14317MAlonzo.Code.Algebra.Structures
C_isvar_22MAlonzo.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_152MAlonzo.Code.Builtin
C_keep_114MAlonzo.Code.VerifiedCompilation.UInline
C_kindMismatch_18MAlonzo.Code.Check
C_KleeneAlgebra'46'constructor_54207MAlonzo.Code.Algebra.Bundles
C_lam_190MAlonzo.Code.Agda.Builtin.Reflection
C_last'45'abs_126MAlonzo.Code.VerifiedCompilation.UForceDelay
C_last'45'delay_124MAlonzo.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_lengthOfArray_80MAlonzo.Code.Builtin
C_lengthOfByteString_30MAlonzo.Code.Builtin
C_lessThanByteString_36MAlonzo.Code.Builtin
C_lessThanEqualsByteString_38MAlonzo.Code.Builtin
C_lessThanEqualsInteger_22MAlonzo.Code.Builtin
C_lessThanInteger_20MAlonzo.Code.Builtin
C_less_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_166MAlonzo.Code.Cost.Raw
C_LinearInU_162MAlonzo.Code.Cost.Raw
C_LinearInXAndY_168MAlonzo.Code.Cost.Raw
C_LinearInX_156MAlonzo.Code.Cost.Raw
C_LinearInYAndZ_170MAlonzo.Code.Cost.Raw
C_LinearInY_158MAlonzo.Code.Cost.Raw
C_LinearInZ_160MAlonzo.Code.Cost.Raw
C_ListDATA_614MAlonzo.Code.Utils
C_listData_92MAlonzo.Code.Builtin
C_listToArray_82MAlonzo.Code.Builtin
C_list_10MAlonzo.Code.Builtin.Constant.Type
C_list_16MAlonzo.Code.Builtin.Signature
C_list_26MAlonzo.Code.Raw
C_list_50MAlonzo.Code.RawU
C_literalCostIn_28MAlonzo.Code.Cost.Model
C_LiteralInYOrLinearInZ_164MAlonzo.Code.Cost.Raw
C_lit_210MAlonzo.Code.Agda.Builtin.Reflection
C_lit_224MAlonzo.Code.Agda.Builtin.Reflection
C_lit_256MAlonzo.Code.Agda.Builtin.Reflection
C_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_612MAlonzo.Code.Utils
C_mapData_90MAlonzo.Code.Builtin
C_match'33'_1876MAlonzo.Code.VerifiedCompilation.UntypedViews
C_match_98MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_MaxOperator'46'constructor_1665MAlonzo.Code.Algebra.Construct.NaturalChoice.Base
C_MaxSize_154MAlonzo.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_152MAlonzo.Code.Cost.Raw
C_minSize_40MAlonzo.Code.Cost.Model
C_mkCons_72MAlonzo.Code.Builtin
C_mkCpuAndMemoryModel_202MAlonzo.Code.Cost.Raw
C_mkExBudget_62MAlonzo.Code.Cost
C_mkExpModCostingFunction_142MAlonzo.Code.Cost.Raw
C_mkGeneralizeTel_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_114MAlonzo.Code.Builtin
C_mkNilPairData_116MAlonzo.Code.Builtin
C_mkOneVariableQuadraticFunction_58MAlonzo.Code.Cost.Raw
C_mkPairData_112MAlonzo.Code.Builtin
C_mkTwoVariableLinearFunction_74MAlonzo.Code.Cost.Raw
C_mkTwoVariableQuadraticFunction_106MAlonzo.Code.Cost.Raw
C_mkTwoVariableWithInteractionFunction_126MAlonzo.Code.Cost.Raw
C_MkValue_50MAlonzo.Code.Data.Tree.AVL.Value
C_modality_74MAlonzo.Code.Agda.Builtin.Reflection
C_modInteger_16MAlonzo.Code.Builtin
C_Monad'46'constructor_14947MAlonzo.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_MultipliedSizes_150MAlonzo.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_no'45'builtin_6MAlonzo.Code.Untyped.Reduction
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_none_56MAlonzo.Code.VerifiedCompilation.Trace
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_notImplemented_20MAlonzo.Code.VerifiedCompilation.NotImplemented
C_notMu_56MAlonzo.Code.Check
C_notPat_32MAlonzo.Code.Check
C_notPi_44MAlonzo.Code.Check
C_notSOP_76MAlonzo.Code.Check
C_nullList_78MAlonzo.Code.Builtin
C_of'696'_22MAlonzo.Code.Relation.Nullary.Reflects
C_of'8319'_26MAlonzo.Code.Relation.Nullary.Reflects
C_orByteString_162MAlonzo.Code.Builtin
C_out'45'of'45'gas_22MAlonzo.Code.Algorithmic.Evaluation
C_pair_14MAlonzo.Code.Builtin.Constant.Type
C_pair_24MAlonzo.Code.Builtin.Signature
C_pair_30MAlonzo.Code.Raw
C_pair_46MAlonzo.Code.RawU
C_parseError_16MAlonzo.Code.Evaluator.Base
C_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_18MAlonzo.Code.VerifiedCompilation.Certificate
C_proof_44MAlonzo.Code.VerifiedCompilation.Certificate
C_proof_64MAlonzo.Code.VerifiedCompilation.Certificate
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_24MAlonzo.Code.VerifiedCompilation.UForceDelay
C_quadraticCostIn1_20MAlonzo.Code.Cost.Model
C_quadraticCostIn2_24MAlonzo.Code.Cost.Model
C_QuadraticInXAndY_178MAlonzo.Code.Cost.Raw
C_QuadraticInX_172MAlonzo.Code.Cost.Raw
C_QuadraticInY_174MAlonzo.Code.Cost.Raw
C_QuadraticInZ_176MAlonzo.Code.Cost.Raw
C_quantity'45'0_64MAlonzo.Code.Agda.Builtin.Reflection
C_quantity'45'ω_66MAlonzo.Code.Agda.Builtin.Reflection
C_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_168MAlonzo.Code.Builtin
C_record'45'type_296MAlonzo.Code.Agda.Builtin.Reflection
C_reduce_1212MAlonzo.Code.Untyped.Reduction
C_refl'8212''8608'_786MAlonzo.Code.Algorithmic.ReductionEC
C_refl'8801'β_14MAlonzo.Code.Type.Equality
C_refl_20MAlonzo.Code.Agda.Builtin.Equality
C_refl_28MAlonzo.Code.Relation.Binary.HeterogeneousEquality.Core
C_refl_36MAlonzo.Code.Relation.Binary.Construct.Closure.Reflexive
C_refl_476MAlonzo.Code.Untyped.Reduction
C_reject_8MAlonzo.Code.VerifiedCompilation.NotImplemented
C_related_24MAlonzo.Code.Agda.Builtin.Reflection
C_relevant_58MAlonzo.Code.Agda.Builtin.Reflection
C_relTo_34MAlonzo.Code.Relation.Binary.Reasoning.Base.Single
C_remainderInteger_14MAlonzo.Code.Builtin
C_replicateByte_172MAlonzo.Code.Builtin
C_result_1146MAlonzo.Code.Data.Nat.DivMod
C_reverseImplication_10MAlonzo.Code.Function.Related.Propositional
C_reverseImplication_116MAlonzo.Code.Function.Related.Propositional
C_reverseInjection_120MAlonzo.Code.Function.Related.Propositional
C_reverseInjection_16MAlonzo.Code.Function.Related.Propositional
C_right'45'assoc_18MAlonzo.Code.Agda.Builtin.Reflection
C_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_182MAlonzo.Code.Builtin
C_rotateByteString_176MAlonzo.Code.Builtin
C_ruleEC_766MAlonzo.Code.Algorithmic.ReductionEC
C_ruleErr_776MAlonzo.Code.Algorithmic.ReductionEC
C_runtimeError_20MAlonzo.Code.Evaluator.Base
C_runtimeTypeError_414MAlonzo.Code.Utils
C_s'8804's_34MAlonzo.Code.Data.Nat.Base
C_sat'45'app'45'builtin_306MAlonzo.Code.Untyped.Reduction
C_sat'45'force'45'builtin_310MAlonzo.Code.Untyped.Reduction
C_scopeError_18MAlonzo.Code.Evaluator.Base
C_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_110MAlonzo.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_174MAlonzo.Code.Builtin
C_sig_90MAlonzo.Code.Builtin.Signature
C_Silent_40MAlonzo.Code.Evaluator.Program
C_sliceByteString_28MAlonzo.Code.Builtin
C_sndPair_68MAlonzo.Code.Builtin
C_SOP'8801'β_42MAlonzo.Code.Type.Equality
C_SOP_22MAlonzo.Code.Raw
C_SOP_28MAlonzo.Code.Type.BetaNormal
C_SOP_34MAlonzo.Code.Scoped
C_SOP_40MAlonzo.Code.Type
C_start_1120MAlonzo.Code.Utils.List
C_start_184MAlonzo.Code.Utils
C_start_690MAlonzo.Code.Utils.List
C_step'8902'_130MAlonzo.Code.Algorithmic.ReductionEC
C_steps_38MAlonzo.Code.Algorithmic.Evaluation
C_step_100MAlonzo.Code.Algorithmic.ReductionEC
C_step_18MAlonzo.Code.Algorithmic.ReductionEC.Progress
C_step_522MAlonzo.Code.Untyped.Reduction
C_step_64MAlonzo.Code.VerifiedCompilation.Trace
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_182MAlonzo.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Π_326MAlonzo.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_110MAlonzo.Code.RawU
C_tailList_76MAlonzo.Code.Builtin
C_Tallying_44MAlonzo.Code.Evaluator.Program
C_TCEK_54MAlonzo.Code.Evaluator.Program
C_TCK_52MAlonzo.Code.Evaluator.Program
C_TCOpts_32MAlonzo.Code.Main
C_termErr_312MAlonzo.Code.Agda.Builtin.Reflection
C_that_50MAlonzo.Code.Data.These.Base
C_there_104MAlonzo.Code.Data.List.Relation.Unary.All
C_there_54MAlonzo.Code.Data.List.Relation.Unary.Any
C_there_64MAlonzo.Code.Data.Vec.Base
C_these_52MAlonzo.Code.Data.These.Base
C_this_48MAlonzo.Code.Data.These.Base
C_this_60MAlonzo.Code.Data.List.Relation.Binary.Lex.Core
C_threeArgumentsExpModCost_58MAlonzo.Code.Cost.Model
C_TL_50MAlonzo.Code.Evaluator.Program
C_tmCon_206MAlonzo.Code.RawU
C_TooFewCases_88MAlonzo.Code.Check
C_TooFewConstrArgs_86MAlonzo.Code.Check
C_TooManyCases_90MAlonzo.Code.Check
C_TooManyConstrArgs_84MAlonzo.Code.Check
C_TotalOrder'46'constructor_15747MAlonzo.Code.Relation.Binary.Bundles
C_TotalPreorder'46'constructor_4573MAlonzo.Code.Relation.Binary.Bundles
C_tp_816MAlonzo.Code.VerifiedCompilation.UntypedViews
C_trace_64MAlonzo.Code.Builtin
C_trans'8212''8608'_796MAlonzo.Code.Algorithmic.ReductionEC
C_trans'8801'β_18MAlonzo.Code.Type.Equality
C_translationfd_38MAlonzo.Code.VerifiedCompilation.UForceDelay
C_trans_394MAlonzo.Code.Induction.WellFounded
C_trans_484MAlonzo.Code.Untyped.Reduction
C_tree_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_214MAlonzo.Code.RawU
C_UBuiltin_220MAlonzo.Code.RawU
C_UCase_228MAlonzo.Code.RawU
C_UConstr_226MAlonzo.Code.RawU
C_UCon_216MAlonzo.Code.RawU
C_UDelay_222MAlonzo.Code.RawU
C_UError_218MAlonzo.Code.RawU
C_UForce_224MAlonzo.Code.RawU
C_ULambda_212MAlonzo.Code.RawU
C_UltraMetric'46'constructor_8503MAlonzo.Code.Function.Metric.Nat.Bundles
C_unBData_106MAlonzo.Code.Builtin
C_unConstrData_98MAlonzo.Code.Builtin
C_UnexpectedEndOfString_84MAlonzo.Code.Text.Format.Generic
C_unIData_104MAlonzo.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_22MAlonzo.Code.VerifiedCompilation.Trace
C_unknown_238MAlonzo.Code.Agda.Builtin.Reflection
C_unListData_102MAlonzo.Code.Builtin
C_unMapData_100MAlonzo.Code.Builtin
C_unrelated_26MAlonzo.Code.Agda.Builtin.Reflection
C_unsat'45'builtin'8320''8331''8321'_36MAlonzo.Code.Untyped.Purity
C_unsat'45'builtin'8320'_30MAlonzo.Code.Untyped.Purity
C_unsat'45'builtin'8321'_44MAlonzo.Code.Untyped.Purity
C_unsat'8320''8331''8321'_214MAlonzo.Code.Untyped.Reduction
C_unsat'8320'_208MAlonzo.Code.Untyped.Reduction
C_unsat'8321'_222MAlonzo.Code.Untyped.Reduction
C_unwrap'45'_1226MAlonzo.Code.Algorithmic.CEK
C_unwrap'45'_398MAlonzo.Code.Algorithmic.ReductionEC
C_unwrap_'47'__534MAlonzo.Code.Algorithmic.ReductionEC
C_unwrap_132MAlonzo.Code.Declarative
C_unwrap_230MAlonzo.Code.Algorithmic
C_unwrap_52MAlonzo.Code.Raw
C_unwrap_548MAlonzo.Code.Scoped
C_userError_412MAlonzo.Code.Utils
C_UVar_210MAlonzo.Code.RawU
C_U_48MAlonzo.Code.Evaluator.Program
C_V'45'constr_140MAlonzo.Code.Algorithmic.CEK
C_V'45'constr_234MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'constr_60MAlonzo.Code.Untyped.CEK
C_V'45'con_162MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'con_50MAlonzo.Code.Untyped.CEK
C_V'45'con_86MAlonzo.Code.Algorithmic.CEK
C_V'45'delay_54MAlonzo.Code.Untyped.CEK
C_V'45'I'8658'_106MAlonzo.Code.Algorithmic.CEK
C_V'45'I'8658'_184MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'I'8658'_74MAlonzo.Code.Untyped.CEK
C_V'45'IΠ_128MAlonzo.Code.Algorithmic.CEK
C_V'45'IΠ_208MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'IΠ_90MAlonzo.Code.Untyped.CEK
C_V'45'wrap_156MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'wrap_82MAlonzo.Code.Algorithmic.CEK
C_V'45'ƛ_138MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'ƛ_46MAlonzo.Code.Untyped.CEK
C_V'45'ƛ_64MAlonzo.Code.Algorithmic.CEK
C_V'45'Λ_146MAlonzo.Code.Algorithmic.ReductionEC
C_V'45'Λ_74MAlonzo.Code.Algorithmic.CEK
C_var_172MAlonzo.Code.Agda.Builtin.Reflection
C_var_24MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_var_252MAlonzo.Code.Agda.Builtin.Reflection
C_var_26 
1 (Data Constructor)MAlonzo.Code.VerifiedCompilation.Trace
2 (Data Constructor)MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_var_54MAlonzo.Code.Untyped.Purity
C_verifyEcdsaSecp256k1Signature_48MAlonzo.Code.Builtin
C_verifyEd25519Signature_46MAlonzo.Code.Builtin
C_verifySchnorrSecp256k1Signature_50MAlonzo.Code.Builtin
C_visible_50MAlonzo.Code.Agda.Builtin.Reflection
C_want_8MAlonzo.Code.Untyped.Reduction
C_WithInteractionInXAndY_180MAlonzo.Code.Cost.Raw
C_word64_132MAlonzo.Code.Agda.Builtin.Reflection
C_wrap'45'_1218MAlonzo.Code.Algorithmic.CEK
C_wrap'45'_390MAlonzo.Code.Algorithmic.ReductionEC
C_wrap_130MAlonzo.Code.Declarative
C_wrap_220MAlonzo.Code.Algorithmic
C_wrap_50MAlonzo.Code.Raw
C_wrap_522MAlonzo.Code.Algorithmic.ReductionEC
C_wrap_546MAlonzo.Code.Scoped
C_writeBits_170MAlonzo.Code.Builtin
C_xorByteString_164MAlonzo.Code.Builtin
C_z'8804'n_26MAlonzo.Code.Data.Nat.Base
C_zero_12MAlonzo.Code.Data.Fin.Base
C_zero_8MAlonzo.Code.Agda.Builtin.Nat
C_Z_16MAlonzo.Code.Type
C_Z_22MAlonzo.Code.Algorithmic
C_Z_36MAlonzo.Code.Declarative
C_Z_44MAlonzo.Code.Scoped
C_Z_62MAlonzo.Code.Scoped
C__'10814'__32MAlonzo.Code.VerifiedCompilation.UForceDelay
C__'183''33'__894MAlonzo.Code.VerifiedCompilation.UntypedViews
C__'183''45'_1202MAlonzo.Code.Algorithmic.CEK
C__'183''45'_204MAlonzo.Code.Untyped.CEK
C__'183''45'_374MAlonzo.Code.Algorithmic.ReductionEC
C__'183''8595'_254MAlonzo.Code.VerifiedCompilation.UInline
C__'183''8595'_36MAlonzo.Code.VerifiedCompilation.Trace
C__'183''8902'_'47'__212MAlonzo.Code.Algorithmic
C__'183''8902'_'47'__512MAlonzo.Code.Algorithmic.ReductionEC
C__'183''8902'__124MAlonzo.Code.Declarative
C__'183''8902'__38MAlonzo.Code.Raw
C__'183''8902'__532MAlonzo.Code.Scoped
C__'183'r__500MAlonzo.Code.Algorithmic.ReductionEC
C__'183'__10MAlonzo.Code.Type.BetaNormal
C__'183'__118MAlonzo.Code.Declarative
C__'183'__14MAlonzo.Code.Raw
C__'183'__196MAlonzo.Code.Algorithmic
C__'183'__22MAlonzo.Code.Untyped
C__'183'__250MAlonzo.Code.VerifiedCompilation.UInline
C__'183'__26MAlonzo.Code.Scoped
C__'183'__30MAlonzo.Code.Type
C__'183'__34 
1 (Data Constructor)MAlonzo.Code.VerifiedCompilation.Trace
2 (Data Constructor)MAlonzo.Code.VerifiedCompilation.UInline
C__'183'__42MAlonzo.Code.Raw
C__'183'__536MAlonzo.Code.Scoped
C__'183'__86MAlonzo.Code.VerifiedCompilation.UForceDelay
C__'36''36'__190MAlonzo.Code.Algorithmic.CEK
C__'36'__162MAlonzo.Code.Algorithmic.CEK
C__'44''8902'__22MAlonzo.Code.Declarative
C__'44''8902'__6MAlonzo.Code.Type
C__'44''8902'__8MAlonzo.Code.Algorithmic
C__'44'__12 
1 (Data Constructor)MAlonzo.Code.Untyped.CEK
2 (Data Constructor)MAlonzo.Code.Algorithmic
C__'44'__1274MAlonzo.Code.Algorithmic.CEK
C__'44'__144MAlonzo.Code.Data.Vec.Bounded.Base
C__'44'__26MAlonzo.Code.Declarative
C__'44'__30MAlonzo.Code.Algorithmic.CK
C__'44'__32MAlonzo.Code.Agda.Builtin.Sigma
C__'44'__378MAlonzo.Code.Utils
C__'44'__40MAlonzo.Code.Algebra.Definitions.RawMagma
C__'44'__440MAlonzo.Code.Utils
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'_38MAlonzo.Code.Builtin.Signature
C__'8658'__16MAlonzo.Code.Type.BetaNormal
C__'8658'__20MAlonzo.Code.Scoped
C__'8658'__26MAlonzo.Code.Type
C__'8658'__772MAlonzo.Code.Utils
C__'8658'__8MAlonzo.Code.Raw
C__'8759''33'__1902MAlonzo.Code.VerifiedCompilation.UntypedViews
C__'8759''691''8242'__312MAlonzo.Code.Data.List.NonEmpty.Base
C__'8759''691''8242'__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'__290MAlonzo.Code.Algorithmic
C__'8759'__314MAlonzo.Code.Utils.List
C__'8759'__34MAlonzo.Code.Data.List.NonEmpty.Base
C__'8759'__38MAlonzo.Code.Data.Vec.Base
C__'8759'__450MAlonzo.Code.Utils
C__'8759'__476MAlonzo.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'__1286MAlonzo.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'__1290MAlonzo.Code.Algorithmic.CEK
C__'9669'__224MAlonzo.Code.Untyped.CEK
C__'9669'__46MAlonzo.Code.Algorithmic.CK
C__B'8658'__302MAlonzo.Code.Builtin.Signature
C__because__32MAlonzo.Code.Relation.Nullary.Decidable.Core
C__l'183'__490MAlonzo.Code.Algorithmic.ReductionEC
C_ƛ'33'_876MAlonzo.Code.VerifiedCompilation.UntypedViews
C_ƛ'8595'_244MAlonzo.Code.VerifiedCompilation.UInline
C_ƛ'8595'_32MAlonzo.Code.VerifiedCompilation.Trace
C_ƛ'8801'β_24MAlonzo.Code.Type.Equality
C_ƛ'9633'_236MAlonzo.Code.VerifiedCompilation.UInline
C_ƛ_116MAlonzo.Code.Declarative
C_ƛ_12MAlonzo.Code.Raw
C_ƛ_18MAlonzo.Code.Type.BetaNormal
C_ƛ_190MAlonzo.Code.Algorithmic
C_ƛ_192MAlonzo.Code.Untyped.Reduction
C_ƛ_20MAlonzo.Code.Untyped
C_ƛ_24MAlonzo.Code.Scoped
C_ƛ_240MAlonzo.Code.VerifiedCompilation.UInline
C_ƛ_28MAlonzo.Code.Type
C_ƛ_30MAlonzo.Code.VerifiedCompilation.Trace
C_ƛ_32MAlonzo.Code.VerifiedCompilation.UntypedTranslation
C_ƛ_40MAlonzo.Code.Raw
C_ƛ_42MAlonzo.Code.VerifiedCompilation.UFloatDelay
C_ƛ_534MAlonzo.Code.Scoped
C_ƛ_62MAlonzo.Code.Untyped.Purity
C_β'45'builtin_720MAlonzo.Code.Algorithmic.ReductionEC
C_β'45'case_746MAlonzo.Code.Algorithmic.ReductionEC
C_β'45'wrap_694MAlonzo.Code.Algorithmic.ReductionEC
C_β'45'ƛ_662MAlonzo.Code.Algorithmic.ReductionEC
C_β'45'Λ_678MAlonzo.Code.Algorithmic.ReductionEC
C_β'8801'β_48MAlonzo.Code.Type.Equality
C_β_286MAlonzo.Code.Untyped.Reduction
C_ε_10MAlonzo.Code.Untyped.CEK
C_ε_1268MAlonzo.Code.Algorithmic.CEK
C_ε_22MAlonzo.Code.Algorithmic.CK
C_Λ_120MAlonzo.Code.Declarative
C_Λ_202MAlonzo.Code.Algorithmic
C_Λ_36MAlonzo.Code.Raw
C_Λ_530MAlonzo.Code.Scoped
C_μ'8801'β_28MAlonzo.Code.Type.Equality
C_μ_18MAlonzo.Code.Raw
C_μ_24MAlonzo.Code.Type.BetaNormal
C_μ_32 
1 (Data Constructor)MAlonzo.Code.Type
2 (Data Constructor)MAlonzo.Code.Scoped
C_ξ'8321'_266MAlonzo.Code.Untyped.Reduction
C_ξ'8322'_274MAlonzo.Code.Untyped.Reduction
C_ξ'8323'_280MAlonzo.Code.Untyped.Reduction
C_Π'8801'β_22MAlonzo.Code.Type.Equality
C_Π_10MAlonzo.Code.Raw
C_Π_14MAlonzo.Code.Type.BetaNormal
C_Π_22MAlonzo.Code.Scoped
C_Π_24MAlonzo.Code.Type
C_ℕArg_6MAlonzo.Code.Text.Format
C_ℤArg_8MAlonzo.Code.Text.Format