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

Index - T

TagMAlonzo.Code.RawU
TagArrayMAlonzo.Code.RawU
TagBLS12_381_G1_ElementMAlonzo.Code.RawU
TagBLS12_381_G2_ElementMAlonzo.Code.RawU
TagBLS12_381_MlResultMAlonzo.Code.RawU
TagBoolMAlonzo.Code.RawU
TagBSMAlonzo.Code.RawU
TagCon 
1 (Type/Class)MAlonzo.Code.RawU
2 (Data Constructor)MAlonzo.Code.RawU
TagDataMAlonzo.Code.RawU
TagIntMAlonzo.Code.RawU
TagListMAlonzo.Code.RawU
TagPairMAlonzo.Code.RawU
TagStrMAlonzo.Code.RawU
TagUnitMAlonzo.Code.RawU
TallyingFFI.Opts
tallyingbudgetFFI.Opts
TCEKFFI.Opts
TCKFFI.Opts
TCOptsFFI.Opts
TLFFI.Opts
tmnameFFI.Untyped
tmnamesRaw
TraceFFI.SimplifierTrace
TraceElemFFI.SimplifierTrace
truncateDoubleMAlonzo.RTE.Float
tynamesRaw
TypecheckFFI.Opts
TypecheckOptionsFFI.Opts
typecheckOptsFFI.Opts
TypeErrorRaw
T_'8868'_6MAlonzo.Code.Agda.Builtin.Unit
T_'91''93''7510'_1958MAlonzo.Code.VerifiedCompilation.UntypedViews
T_'96''7510'_858MAlonzo.Code.VerifiedCompilation.UntypedViews
T_'9839'Kinded_40MAlonzo.Code.Algorithmic
T_AbelianGroup_1636MAlonzo.Code.Algebra.Bundles
T_Abs_112MAlonzo.Code.Agda.Builtin.Reflection
T_Acc_42MAlonzo.Code.Induction.WellFounded
T_AddComm_2118MAlonzo.Code.VerifiedCompilation.UntypedViews
T_Alignment_92MAlonzo.Code.Data.String.Base
T_AllForced_16MAlonzo.Code.VerifiedCompilation.UFloatDelay
T_AllPairs_20MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core
T_allTerms_790MAlonzo.Code.VerifiedCompilation.UntypedViews
T_All_18MAlonzo.Code.Data.Maybe.Relation.Unary.All
T_All_44MAlonzo.Code.Data.List.Relation.Unary.All
T_All_458MAlonzo.Code.Utils
T_AlternativeMagma_296MAlonzo.Code.Algebra.Bundles
T_Any_18MAlonzo.Code.Data.Maybe.Relation.Unary.Any
T_Any_34MAlonzo.Code.Data.List.Relation.Unary.Any
T_ApartnessRelation_1248MAlonzo.Code.Relation.Binary.Bundles
T_ApplyToCase_4MAlonzo.Code.VerifiedCompilation.UApplyToCase
T_ArgChunk_4MAlonzo.Code.Text.Format
T_ArgInfo_76MAlonzo.Code.Agda.Builtin.Reflection
T_Arg_88MAlonzo.Code.Agda.Builtin.Reflection
T_Arity_4MAlonzo.Code.Untyped.Reduction
T_Array_592MAlonzo.Code.Utils
T_Associativity_14MAlonzo.Code.Agda.Builtin.Reflection
T_AtomicTyCon_6MAlonzo.Code.Builtin.Constant.AtomicType
T_BackwardKind_114MAlonzo.Code.Function.Related.Propositional
T_Band_596MAlonzo.Code.Algebra.Bundles
T_BApp_42MAlonzo.Code.Untyped.CEK
T_BApp_48MAlonzo.Code.Algorithmic.CEK
T_BApp_74MAlonzo.Code.Algorithmic.ReductionEC
T_BiEquivalence_2054MAlonzo.Code.Function.Bundles
T_BiInverse_2080MAlonzo.Code.Function.Bundles
T_Bijection_926MAlonzo.Code.Function.Bundles
T_Blocker_100MAlonzo.Code.Agda.Builtin.Reflection
T_Bls12'45'381'45'G1'45'Element_754MAlonzo.Code.Utils
T_Bls12'45'381'45'G2'45'Element_758MAlonzo.Code.Utils
T_Bls12'45'381'45'MlResult_762MAlonzo.Code.Utils
T_BooleanAlgebra_682MAlonzo.Code.Algebra.Lattice.Bundles
T_BooleanAlgebra_898MAlonzo.Code.Relation.Binary.Lattice.Bundles
T_Bool_6MAlonzo.Code.Agda.Builtin.Bool
T_BoundedJoinSemilattice_102MAlonzo.Code.Relation.Binary.Lattice.Bundles
T_BoundedJoinSemilattice_414MAlonzo.Code.Algebra.Lattice.Bundles
T_BoundedLattice_616MAlonzo.Code.Relation.Binary.Lattice.Bundles
T_BoundedMeetSemilattice_288MAlonzo.Code.Relation.Binary.Lattice.Bundles
T_BoundedMeetSemilattice_328MAlonzo.Code.Algebra.Lattice.Bundles
T_BoundedSemilattice_232MAlonzo.Code.Algebra.Lattice.Bundles
T_BudgetMode_36MAlonzo.Code.Evaluator.Program
T_builtin'7510'_968MAlonzo.Code.VerifiedCompilation.UntypedViews
T_BuiltinModel_62MAlonzo.Code.Cost.Model
T_Builtin_2MAlonzo.Code.Builtin
T_Bwd_6MAlonzo.Code.Utils.List
T_ByteString_416MAlonzo.Code.Utils
T_CancellativeCommutativeSemiring_2632MAlonzo.Code.Algebra.Bundles
T_case'7510'_926MAlonzo.Code.VerifiedCompilation.UntypedViews
T_CaseReduce_4MAlonzo.Code.VerifiedCompilation.UCaseReduce
T_Cases_104MAlonzo.Code.Declarative
T_Cases_172MAlonzo.Code.Algorithmic
T_CertResult_12MAlonzo.Code.VerifiedCompilation.Certificate
T_Char_6MAlonzo.Code.Agda.Builtin.Char
T_Chunk_60MAlonzo.Code.Text.Format.Generic
T_Clause_160MAlonzo.Code.Agda.Builtin.Reflection
T_CoCCase_38MAlonzo.Code.VerifiedCompilation.UCaseOfCase
T_CoCForce_142MAlonzo.Code.VerifiedCompilation.UCaseOfCase
T_CoC_4MAlonzo.Code.VerifiedCompilation.UCaseOfCase
T_Command_36MAlonzo.Code.Main
T_CommutativeBand_732MAlonzo.Code.Algebra.Bundles
T_CommutativeMagma_180MAlonzo.Code.Algebra.Bundles
T_CommutativeMonoid_962MAlonzo.Code.Algebra.Bundles
T_CommutativeRing_4016MAlonzo.Code.Algebra.Bundles
T_CommutativeSemigroup_662MAlonzo.Code.Algebra.Bundles
T_CommutativeSemiringWithoutOne_2002MAlonzo.Code.Algebra.Bundles
T_CommutativeSemiring_2446MAlonzo.Code.Algebra.Bundles
T_con'7510'_958MAlonzo.Code.VerifiedCompilation.UntypedViews
T_constr'7510'_944MAlonzo.Code.VerifiedCompilation.UntypedViews
T_CostingModel_8MAlonzo.Code.Cost.Model
T_CpuAndMemoryModel_192MAlonzo.Code.Cost.Raw
T_Ctx'8902'_2MAlonzo.Code.Type
T_Ctx_16MAlonzo.Code.Declarative
T_Ctx_2MAlonzo.Code.Algorithmic
T_DATA_608MAlonzo.Code.Utils
T_DecEq_6MAlonzo.Code.Untyped.Equality
T_DecPoset_406MAlonzo.Code.Relation.Binary.Bundles
T_DecSetoid_84MAlonzo.Code.Relation.Binary.Bundles
T_DecStrictPartialOrder_638MAlonzo.Code.Relation.Binary.Bundles
T_DecTotalOrder_866MAlonzo.Code.Relation.Binary.Bundles
T_Dec_20MAlonzo.Code.Relation.Nullary.Decidable.Core
T_Definition_280MAlonzo.Code.Agda.Builtin.Reflection
T_delay'7510'_912MAlonzo.Code.VerifiedCompilation.UntypedViews
T_DenseLinearOrder_1140MAlonzo.Code.Relation.Binary.Bundles
T_DistributiveLattice_496MAlonzo.Code.Relation.Binary.Lattice.Bundles
T_DistributiveLattice_584MAlonzo.Code.Algebra.Lattice.Bundles
T_DivMod_1126MAlonzo.Code.Data.Nat.DivMod
T_EC_476MAlonzo.Code.Algorithmic.ReductionEC
T_Either_6MAlonzo.Code.Utils
T_Empty_4MAlonzo.Code.Data.Empty
T_Env_16MAlonzo.Code.Untyped.CEK
T_Env_26MAlonzo.Code.Algorithmic.CEK
T_EquivalenceKind_134MAlonzo.Code.Function.Related.Propositional
T_Equivalence_1714MAlonzo.Code.Function.Bundles
T_error'7510'_976MAlonzo.Code.VerifiedCompilation.UntypedViews
T_ErrorPart_308MAlonzo.Code.Agda.Builtin.Reflection
T_Error_1172MAlonzo.Code.Algorithmic.CEK
T_ERROR_12MAlonzo.Code.Evaluator.Base
T_Error_2MAlonzo.Code.VerifiedCompilation
T_Error_338MAlonzo.Code.Algorithmic.ReductionEC
T_Error_82MAlonzo.Code.Text.Format.Generic
T_Error_96MAlonzo.Code.Text.Printf.Generic
T_Esc_24MAlonzo.Code.RawU
T_EvalMode_46MAlonzo.Code.Evaluator.Program
T_EvalOptions_24MAlonzo.Code.Main
T_ExBudgetCategory_34MAlonzo.Code.Cost.Base
T_ExBudget_52MAlonzo.Code.Cost
T_ExpModCostingFunction_128MAlonzo.Code.Cost.Raw
T_FD_112MAlonzo.Code.VerifiedCompilation.UForceDelay
T_FilePath_16MAlonzo.Code.Main
T_Finished_12MAlonzo.Code.Algorithmic.Evaluation
T_Fin_10MAlonzo.Code.Data.Fin.Base
T_Fixity_28MAlonzo.Code.Agda.Builtin.Reflection
T_FlD_464MAlonzo.Code.VerifiedCompilation.UFloatDelay
T_FlexibleMagma_358MAlonzo.Code.Algebra.Bundles
T_Float_6MAlonzo.Code.Agda.Builtin.Float
T_FocusedProgDissect_28MAlonzo.Code.Algorithmic.ReductionEC.Progress
T_force'7510'_900MAlonzo.Code.VerifiedCompilation.UntypedViews
T_FormatSpec_6MAlonzo.Code.Text.Format.Generic
T_Format_14MAlonzo.Code.Evaluator.Program
T_ForwardKind_94MAlonzo.Code.Function.Related.Propositional
T_Frame_1182MAlonzo.Code.Algorithmic.CEK
T_Frame_196MAlonzo.Code.Untyped.CEK
T_Frame_352MAlonzo.Code.Algorithmic.ReductionEC
T_FreeVariableError_574MAlonzo.Code.Scoped
T_Func_42MAlonzo.Code.Function.Dependent.Bundles
T_Func_714MAlonzo.Code.Function.Bundles
T_Gas_4MAlonzo.Code.Algorithmic.Evaluation
T_GeneralizeTel_10107MAlonzo.Code.Induction.WellFounded
T_GeneralizeTel_101603MAlonzo.Code.Data.List.Relation.Unary.All.Properties
T_GeneralizeTel_1875MAlonzo.Code.Relation.Nullary.Decidable
T_GeneralizeTel_407MAlonzo.Code.Function.Properties.RightInverse
T_GeneralizeTel_423MAlonzo.Code.Function.Properties.Surjection
T_GeneralizeTel_6167MAlonzo.Code.Induction.WellFounded
T_GeneralizeTel_9221MAlonzo.Code.Function.Properties.Surjection
T_Group_1520MAlonzo.Code.Algebra.Bundles
T_HasEq_18MAlonzo.Code.Untyped.Equality
T_HCekMachineCosts_4MAlonzo.Code.Cost.Raw
T_HExBudget_6MAlonzo.Code.Cost.Raw
T_HeytingAlgebra_750MAlonzo.Code.Relation.Binary.Lattice.Bundles
T_Hints_52MAlonzo.Code.VerifiedCompilation.Trace
T_HsEq_26MAlonzo.Code.Untyped.Equality
T_IBwd_396MAlonzo.Code.Utils.List
T_IdempotentCommutativeMonoid_1148MAlonzo.Code.Algebra.Bundles
T_IdempotentMagma_238MAlonzo.Code.Algebra.Bundles
T_IdempotentMonoid_1058MAlonzo.Code.Algebra.Bundles
T_IdempotentSemiring_2822MAlonzo.Code.Algebra.Bundles
T_IIBwd_832MAlonzo.Code.Utils.List
T_IIList_802MAlonzo.Code.Utils.List
T_IList_302MAlonzo.Code.Utils.List
T_IndexedPreorder_60MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles
T_IndexedSetoid_18MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles
T_Inhabited_1980MAlonzo.Code.VerifiedCompilation.UntypedViews
T_InitLast_474MAlonzo.Code.Data.List.Base
T_Injection_776MAlonzo.Code.Function.Bundles
T_InlineHints_24MAlonzo.Code.VerifiedCompilation.Trace
T_Inline_224MAlonzo.Code.VerifiedCompilation.UInline
T_Input_16MAlonzo.Code.Evaluator.Program
T_Int_6MAlonzo.Code.Agda.Builtin.Int
T_Inverse_1960MAlonzo.Code.Function.Bundles
T_InvertibleMagma_1360MAlonzo.Code.Algebra.Bundles
T_InvertibleUnitalMagma_1434MAlonzo.Code.Algebra.Bundles
T_IO_8MAlonzo.Code.Agda.Builtin.IO
T_Irrelevant_20MAlonzo.Code.Data.Irrelevant
T_IsAbelianGroupMorphism_1260MAlonzo.Code.Algebra.Morphism
T_IsAbelianGroup_1132MAlonzo.Code.Algebra.Structures
T_IsAlternativeMagma_284MAlonzo.Code.Algebra.Structures
T_IsApartnessRelation_656MAlonzo.Code.Relation.Binary.Structures
T_isApp_144MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsBand_508MAlonzo.Code.Algebra.Structures
T_IsBiEquivalence_584MAlonzo.Code.Function.Structures
T_IsBiInverse_666MAlonzo.Code.Function.Structures
T_IsBijection_238MAlonzo.Code.Function.Structures
T_IsBooleanAlgebra_3112MAlonzo.Code.Algebra.Lattice.Structures
T_IsBooleanAlgebra_730MAlonzo.Code.Relation.Binary.Lattice.Structures
T_IsBoundedJoinSemilattice_116MAlonzo.Code.Relation.Binary.Lattice.Structures
T_IsBoundedLattice_502MAlonzo.Code.Relation.Binary.Lattice.Structures
T_IsBoundedMeetSemilattice_274MAlonzo.Code.Relation.Binary.Lattice.Structures
T_isBuiltin_700MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsCancellativeCommutativeSemiring_1798MAlonzo.Code.Algebra.Structures
T_isCase_576MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsCommutativeBand_590MAlonzo.Code.Algebra.Structures
T_IsCommutativeMagma_212MAlonzo.Code.Algebra.Structures
T_IsCommutativeMonoid'691'_2716MAlonzo.Code.Algebra.Structures.Biased
T_IsCommutativeMonoid'737'_2662MAlonzo.Code.Algebra.Structures.Biased
T_IsCommutativeMonoidMorphism_498MAlonzo.Code.Algebra.Morphism
T_IsCommutativeMonoid_736MAlonzo.Code.Algebra.Structures
T_IsCommutativeRing_2796MAlonzo.Code.Algebra.Structures
T_IsCommutativeSemigroup_548MAlonzo.Code.Algebra.Structures
T_IsCommutativeSemiring'691'_3098MAlonzo.Code.Algebra.Structures.Biased
T_IsCommutativeSemiring'737'_2970MAlonzo.Code.Algebra.Structures.Biased
T_IsCommutativeSemiringWithoutOne_1382MAlonzo.Code.Algebra.Structures
T_IsCommutativeSemiring_1678MAlonzo.Code.Algebra.Structures
T_IsCongruent_22MAlonzo.Code.Function.Structures
T_isConstr_480MAlonzo.Code.VerifiedCompilation.UntypedViews
T_isCon_440MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsDecEquivalence_44MAlonzo.Code.Relation.Binary.Structures
T_IsDecPartialOrder_224MAlonzo.Code.Relation.Binary.Structures
T_IsDecStrictPartialOrder_336MAlonzo.Code.Relation.Binary.Structures
T_IsDecTotalOrder_460MAlonzo.Code.Relation.Binary.Structures
T_isDelay_356MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsDenseLinearOrder_594MAlonzo.Code.Relation.Binary.Structures
T_IsDistributiveLattice_3036MAlonzo.Code.Algebra.Lattice.Structures
T_IsDistributiveLattice_420MAlonzo.Code.Relation.Binary.Lattice.Structures
T_IsEquality_122MAlonzo.Code.Relation.Binary.Reasoning.Base.Double
T_IsEquality_208MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
T_IsEquivalence_26MAlonzo.Code.Relation.Binary.Structures
T_isError_738MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsFlexibleMagma_324MAlonzo.Code.Algebra.Structures
T_isForce_270MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsGeneralMetric_332MAlonzo.Code.Function.Metric.Structures
T_IsGroupHomomorphism_622MAlonzo.Code.Algebra.Morphism.Structures
T_IsGroupIsomorphism_686MAlonzo.Code.Algebra.Morphism.Structures
T_IsGroupMonomorphism_648MAlonzo.Code.Algebra.Morphism.Structures
T_IsGroupMorphism_960MAlonzo.Code.Algebra.Morphism
T_IsGroup_1036MAlonzo.Code.Algebra.Structures
T_IsHeytingAlgebra_598MAlonzo.Code.Relation.Binary.Lattice.Structures
T_IsIdempotentCommutativeMonoidMorphism_726MAlonzo.Code.Algebra.Morphism
T_IsIdempotentCommutativeMonoid_852MAlonzo.Code.Algebra.Structures
T_IsIdempotentMagma_248MAlonzo.Code.Algebra.Structures
T_IsIdempotentMonoid_796MAlonzo.Code.Algebra.Structures
T_IsIdempotentSemiring_1922MAlonzo.Code.Algebra.Structures
T_IsIndexedEquivalence_22MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures
T_IsIndexedPreorder_44MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures
T_IsInjection_92MAlonzo.Code.Function.Structures
T_IsInverse_490MAlonzo.Code.Function.Structures
T_IsInvertibleMagma_924MAlonzo.Code.Algebra.Structures
T_IsInvertibleUnitalMagma_976MAlonzo.Code.Algebra.Structures
T_IsJoinSemilattice_22MAlonzo.Code.Relation.Binary.Lattice.Structures
T_IsKleeneAlgebraHomomorphism_3274MAlonzo.Code.Algebra.Morphism.Structures
T_IsKleeneAlgebraIsomorphism_3354MAlonzo.Code.Algebra.Morphism.Structures
T_IsKleeneAlgebraMonomorphism_3312MAlonzo.Code.Algebra.Morphism.Structures
T_IsKleeneAlgebra_2044MAlonzo.Code.Algebra.Structures
T_isLambda_56MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsLattice_2962MAlonzo.Code.Algebra.Lattice.Structures
T_IsLattice_340MAlonzo.Code.Relation.Binary.Lattice.Structures
T_IsLeftBolLoop_3104MAlonzo.Code.Algebra.Structures
T_IsLeftInverse_322MAlonzo.Code.Function.Structures
T_IsLoopHomomorphism_2970MAlonzo.Code.Algebra.Morphism.Structures
T_IsLoopIsomorphism_3038MAlonzo.Code.Algebra.Morphism.Structures
T_IsLoopMonomorphism_3002MAlonzo.Code.Algebra.Morphism.Structures
T_IsLoop_3026MAlonzo.Code.Algebra.Structures
T_IsMagmaHomomorphism_176MAlonzo.Code.Algebra.Morphism.Structures
T_IsMagmaIsomorphism_218MAlonzo.Code.Algebra.Morphism.Structures
T_IsMagmaMonomorphism_194MAlonzo.Code.Algebra.Morphism.Structures
T_IsMagma_176MAlonzo.Code.Algebra.Structures
T_IsMedialMagma_360MAlonzo.Code.Algebra.Structures
T_IsMeetSemilattice_180MAlonzo.Code.Relation.Binary.Lattice.Structures
T_IsMiddleBolLoop_3358MAlonzo.Code.Algebra.Structures
T_IsMonoidHomomorphism_350MAlonzo.Code.Algebra.Morphism.Structures
T_IsMonoidIsomorphism_404MAlonzo.Code.Algebra.Morphism.Structures
T_IsMonoidMonomorphism_372MAlonzo.Code.Algebra.Morphism.Structures
T_IsMonoidMorphism_306MAlonzo.Code.Algebra.Morphism
T_IsMonoid_686MAlonzo.Code.Algebra.Structures
T_IsMoufangLoop_3268MAlonzo.Code.Algebra.Structures
T_IsNearring_2538MAlonzo.Code.Algebra.Structures
T_IsNearSemiring'42'_2834MAlonzo.Code.Algebra.Structures.Biased
T_IsNearSemiringHomomorphism_916MAlonzo.Code.Algebra.Morphism.Structures
T_IsNearSemiringIsomorphism_986MAlonzo.Code.Algebra.Morphism.Structures
T_IsNearSemiringMonomorphism_944MAlonzo.Code.Algebra.Morphism.Structures
T_IsNearSemiring_1218MAlonzo.Code.Algebra.Structures
T_IsNonAssociativeRing_2408MAlonzo.Code.Algebra.Structures
T_IsOrderHomomorphism_138MAlonzo.Code.Relation.Binary.Morphism.Structures
T_IsOrderIsomorphism_238MAlonzo.Code.Relation.Binary.Morphism.Structures
T_IsOrderMonomorphism_182MAlonzo.Code.Relation.Binary.Morphism.Structures
T_IsPartialEquivalence_16MAlonzo.Code.Relation.Binary.Structures
T_IsPartialOrder_174MAlonzo.Code.Relation.Binary.Structures
T_IsPreMetric_102MAlonzo.Code.Function.Metric.Structures
T_IsPreorder_70MAlonzo.Code.Relation.Binary.Structures
T_IsProtoMetric_30MAlonzo.Code.Function.Metric.Structures
T_IsQuasigroupHomomorphism_2522MAlonzo.Code.Algebra.Morphism.Structures
T_IsQuasigroupIsomorphism_2596MAlonzo.Code.Algebra.Morphism.Structures
T_IsQuasigroupMonomorphism_2554MAlonzo.Code.Algebra.Morphism.Structures
T_IsQuasigroup_2944MAlonzo.Code.Algebra.Structures
T_IsQuasiring_2180MAlonzo.Code.Algebra.Structures
T_IsQuasiSemiMetric_174MAlonzo.Code.Function.Metric.Structures
T_IsRelHomomorphism_42MAlonzo.Code.Relation.Binary.Morphism.Structures
T_IsRelIsomorphism_94MAlonzo.Code.Relation.Binary.Morphism.Structures
T_IsRelMonomorphism_64MAlonzo.Code.Relation.Binary.Morphism.Structures
T_IsRightBolLoop_3186MAlonzo.Code.Algebra.Structures
T_IsRightInverse_408MAlonzo.Code.Function.Structures
T_IsRing'42'_3228MAlonzo.Code.Algebra.Structures.Biased
T_IsRingHomomorphism_2132MAlonzo.Code.Algebra.Morphism.Structures
T_IsRingIsomorphism_2234MAlonzo.Code.Algebra.Morphism.Structures
T_IsRingMonomorphism_2172MAlonzo.Code.Algebra.Morphism.Structures
T_IsRingMorphism_1676MAlonzo.Code.Algebra.Morphism
T_IsRingWithoutAnnihilatingZero_3308MAlonzo.Code.Algebra.Structures.Biased
T_IsRingWithoutOneHomomorphism_1632MAlonzo.Code.Algebra.Morphism.Structures
T_IsRingWithoutOneIsoMorphism_1712MAlonzo.Code.Algebra.Morphism.Structures
T_IsRingWithoutOneMonomorphism_1664MAlonzo.Code.Algebra.Morphism.Structures
T_IsRingWithoutOne_2286MAlonzo.Code.Algebra.Structures
T_IsRing_2650MAlonzo.Code.Algebra.Structures
T_IsSelectiveMagma_436MAlonzo.Code.Algebra.Structures
T_IsSemigroupMorphism_148MAlonzo.Code.Algebra.Morphism
T_IsSemigroup_472MAlonzo.Code.Algebra.Structures
T_IsSemimedialMagma_396MAlonzo.Code.Algebra.Structures
T_IsSemiMetric_250MAlonzo.Code.Function.Metric.Structures
T_IsSemiringHomomorphism_1282MAlonzo.Code.Algebra.Morphism.Structures
T_IsSemiringIsomorphism_1364MAlonzo.Code.Algebra.Morphism.Structures
T_IsSemiringMonomorphism_1316MAlonzo.Code.Algebra.Morphism.Structures
T_IsSemiringWithoutAnnihilatingZero'42'_2898MAlonzo.Code.Algebra.Structures.Biased
T_IsSemiringWithoutAnnihilatingZero_1468MAlonzo.Code.Algebra.Structures
T_IsSemiringWithoutOne'42'_2772MAlonzo.Code.Algebra.Structures.Biased
T_IsSemiringWithoutOne_1298MAlonzo.Code.Algebra.Structures
T_IsSemiring_1570MAlonzo.Code.Algebra.Structures
T_IsSplitSurjection_752MAlonzo.Code.Function.Structures
T_IsStrictPartialOrder_290MAlonzo.Code.Relation.Binary.Structures
T_IsStrictTotalOrder'7580'_522MAlonzo.Code.Relation.Binary.Structures.Biased
T_IsStrictTotalOrder_534MAlonzo.Code.Relation.Binary.Structures
T_IsStrict_172MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
T_IsSuccessorSetHomomorphism_60MAlonzo.Code.Algebra.Morphism.Structures
T_IsSuccessorSetIsomorphism_102MAlonzo.Code.Algebra.Morphism.Structures
T_IsSuccessorSetMonomorphism_78MAlonzo.Code.Algebra.Morphism.Structures
T_IsSuccessorSet_146MAlonzo.Code.Algebra.Structures
T_IsSurjection_162MAlonzo.Code.Function.Structures
T_isTerm_774MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsTotalOrder_404MAlonzo.Code.Relation.Binary.Structures
T_IsTotalPreorder_124MAlonzo.Code.Relation.Binary.Structures
T_IsUnitalMagma_642MAlonzo.Code.Algebra.Structures
T_isVar_16MAlonzo.Code.VerifiedCompilation.UntypedViews
T_JoinSemilattice_14MAlonzo.Code.Relation.Binary.Lattice.Bundles
T_JoinSemilattice_160MAlonzo.Code.Algebra.Lattice.Bundles
T_K'38'__56MAlonzo.Code.Data.Tree.AVL.Value
T_Kind_6MAlonzo.Code.Function.Related.Propositional
T_Kind_766MAlonzo.Code.Utils
T_KleeneAlgebra_3008MAlonzo.Code.Algebra.Bundles
T_Lattice_386MAlonzo.Code.Relation.Binary.Lattice.Bundles
T_Lattice_500MAlonzo.Code.Algebra.Lattice.Bundles
T_LeftBolLoop_4454MAlonzo.Code.Algebra.Bundles
T_LeftInverse_1792MAlonzo.Code.Function.Bundles
T_Level_18MAlonzo.Code.Agda.Primitive
T_Lex_32MAlonzo.Code.Data.List.Relation.Binary.Lex.Core
T_Lift_8MAlonzo.Code.Level
T_LinearFunction_32MAlonzo.Code.Cost.Raw
T_List'8314'_22MAlonzo.Code.Data.List.NonEmpty.Base
T_List_10MAlonzo.Code.Agda.Builtin.List
T_List_444MAlonzo.Code.Utils
T_Literal_124MAlonzo.Code.Agda.Builtin.Reflection
T_Loop_4346MAlonzo.Code.Algebra.Bundles
T_MachineParameters_46MAlonzo.Code.Cost.Base
T_Magma_68MAlonzo.Code.Algebra.Bundles
T_match_1870MAlonzo.Code.VerifiedCompilation.UntypedViews
T_MaxOperator_128MAlonzo.Code.Algebra.Construct.NaturalChoice.Base
T_Maybe_10MAlonzo.Code.Agda.Builtin.Maybe
T_MedialMagma_416MAlonzo.Code.Algebra.Bundles
T_MeetSemilattice_200MAlonzo.Code.Relation.Binary.Lattice.Bundles
T_MeetSemilattice_88MAlonzo.Code.Algebra.Lattice.Bundles
T_Metric_388MAlonzo.Code.Function.Metric.Nat.Bundles
T_MiddleBolLoop_4772MAlonzo.Code.Algebra.Bundles
T_MinOperator_98MAlonzo.Code.Algebra.Construct.NaturalChoice.Base
T_Modality_68MAlonzo.Code.Agda.Builtin.Reflection
T_Monad_246MAlonzo.Code.Utils
T_Monoid_882MAlonzo.Code.Algebra.Bundles
T_Morphism_254MAlonzo.Code.Effect.Applicative
T_Morphism_58MAlonzo.Code.Effect.Functor
T_MoufangLoop_4662MAlonzo.Code.Algebra.Bundles
T_Nat_6MAlonzo.Code.Agda.Builtin.Nat
T_Nearring_3648MAlonzo.Code.Algebra.Bundles
T_NearSemiring_1766MAlonzo.Code.Algebra.Bundles
T_Negative_164MAlonzo.Code.Data.Integer.Base
T_NonAssociativeRing_3492MAlonzo.Code.Algebra.Bundles
T_NonEmpty_440MAlonzo.Code.Relation.Binary.Definitions
T_NonNegative_144MAlonzo.Code.Data.Integer.Base
T_NonPositive_154MAlonzo.Code.Data.Integer.Base
T_NonTrivial_152MAlonzo.Code.Data.Nat.Base
T_NonZero_112MAlonzo.Code.Data.Nat.Base
T_NotImplemented_12MAlonzo.Code.VerifiedCompilation.NotImplemented
T_OneVariableQuadraticFunction_44MAlonzo.Code.Cost.Raw
T_Ordering_438MAlonzo.Code.Data.Nat.Base
T_Ordering_446MAlonzo.Code.Data.Fin.Base
T_Parity_6MAlonzo.Code.Data.Parity.Base
T_ParseError_4MAlonzo.Code.Evaluator.Base
T_PartialSetoid_10MAlonzo.Code.Relation.Binary.Bundles
T_Pattern_158MAlonzo.Code.Agda.Builtin.Reflection
T_Pointwise_48MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base
T_Pointwise_70MAlonzo.Code.Data.Sum.Relation.Binary.Pointwise
T_Policy_4MAlonzo.Code.VerifiedCompilation.NotImplemented
T_Poset_314MAlonzo.Code.Relation.Binary.Bundles
T_Positive_134MAlonzo.Code.Data.Integer.Base
T_Precedence_22MAlonzo.Code.Agda.Builtin.Reflection
T_PreMetric_96MAlonzo.Code.Function.Metric.Nat.Bundles
T_Preorder_132MAlonzo.Code.Relation.Binary.Bundles
T_PrintfSpec_18MAlonzo.Code.Text.Printf.Generic
T_ProgramNU_26MAlonzo.Code.Evaluator.Program
T_ProgramN_18MAlonzo.Code.Evaluator.Program
T_ProgramU_28MAlonzo.Code.Evaluator.Program
T_Program_20MAlonzo.Code.Evaluator.Program
T_Progress_10MAlonzo.Code.Algorithmic.ReductionEC.Progress
T_Progress_514MAlonzo.Code.Untyped.Reduction
T_Proof'63'_58MAlonzo.Code.VerifiedCompilation.Certificate
T_ProofOrCE_38MAlonzo.Code.VerifiedCompilation.Certificate
T_ProtoMetric_12MAlonzo.Code.Function.Metric.Nat.Bundles
T_pureFD_6MAlonzo.Code.VerifiedCompilation.UForceDelay
T_Pure_6MAlonzo.Code.Untyped.Purity
T_Quantity_62MAlonzo.Code.Agda.Builtin.Reflection
T_Quasigroup_4246MAlonzo.Code.Algebra.Bundles
T_Quasiring_3204MAlonzo.Code.Algebra.Bundles
T_QuasiSemiMetric_186MAlonzo.Code.Function.Metric.Nat.Bundles
T_RawAlternative_180MAlonzo.Code.Effect.Applicative
T_RawApplicativeZero_120MAlonzo.Code.Effect.Applicative
T_RawApplicative_20MAlonzo.Code.Effect.Applicative
T_RawChoice_16MAlonzo.Code.Effect.Choice
T_RawEmpty_16MAlonzo.Code.Effect.Empty
T_RawFunctor_24MAlonzo.Code.Effect.Functor
T_RawGroup_96MAlonzo.Code.Algebra.Bundles.Raw
T_RawKleeneAlgebra_412MAlonzo.Code.Algebra.Bundles.Raw
T_RawLattice_12MAlonzo.Code.Algebra.Lattice.Bundles.Raw
T_RawLoop_366MAlonzo.Code.Algebra.Bundles.Raw
T_RawMagma_36MAlonzo.Code.Algebra.Bundles.Raw
T_RawModel_144MAlonzo.Code.Cost.Raw
T_RawMonadPlus_284MAlonzo.Code.Effect.Monad
T_RawMonadTd_376MAlonzo.Code.Effect.Monad
T_RawMonadZero_206MAlonzo.Code.Effect.Monad
T_RawMonad_24MAlonzo.Code.Effect.Monad
T_RawMonoid_64MAlonzo.Code.Algebra.Bundles.Raw
T_RawNearSemiring_134MAlonzo.Code.Algebra.Bundles.Raw
T_RawQuasigroup_326MAlonzo.Code.Algebra.Bundles.Raw
T_RawRingWithoutOne_222MAlonzo.Code.Algebra.Bundles.Raw
T_RawRing_268MAlonzo.Code.Algebra.Bundles.Raw
T_RawSemiring_174MAlonzo.Code.Algebra.Bundles.Raw
T_RawSuccessorSet_10MAlonzo.Code.Algebra.Bundles.Raw
T_RawTm_32MAlonzo.Code.Raw
T_RawTyCon_4MAlonzo.Code.Raw
T_RawTy_2MAlonzo.Code.Raw
T_ReflClosure_30MAlonzo.Code.Relation.Binary.Construct.Closure.Reflexive
T_Reflects_16MAlonzo.Code.Relation.Nullary.Reflects
T_Relevance_56MAlonzo.Code.Agda.Builtin.Reflection
T_Reveal_'183'_is__142MAlonzo.Code.Relation.Binary.PropositionalEquality
T_RightBolLoop_4558MAlonzo.Code.Algebra.Bundles
T_RightInverse_1880MAlonzo.Code.Function.Bundles
T_RingWithoutOne_3344MAlonzo.Code.Algebra.Bundles
T_Ring_3800MAlonzo.Code.Algebra.Bundles
T_RuntimeError_408MAlonzo.Code.Utils
T_ScopedTm_522MAlonzo.Code.Scoped
T_ScopedTy_14MAlonzo.Code.Scoped
T_ScopeError_576MAlonzo.Code.Scoped
T_SelectiveMagma_122MAlonzo.Code.Algebra.Bundles
T_Semigroup_536MAlonzo.Code.Algebra.Bundles
T_Semilattice_10MAlonzo.Code.Algebra.Lattice.Bundles
T_SemimedialMagma_474MAlonzo.Code.Algebra.Bundles
T_SemiMetric_284MAlonzo.Code.Function.Metric.Nat.Bundles
T_SemiringWithoutAnnihilatingZero_2130MAlonzo.Code.Algebra.Bundles
T_SemiringWithoutOne_1880MAlonzo.Code.Algebra.Bundles
T_Semiring_2280MAlonzo.Code.Algebra.Bundles
T_Setoid_44MAlonzo.Code.Relation.Binary.Bundles
T_SignAbs_236MAlonzo.Code.Data.Integer.Base
T_Sign_6MAlonzo.Code.Data.Sign.Base
T_SigTy_266MAlonzo.Code.Builtin.Signature
T_Sig_72MAlonzo.Code.Builtin.Signature
T_SimplifierTag_4MAlonzo.Code.VerifiedCompilation.Trace
T_SnocView_304MAlonzo.Code.Data.List.NonEmpty.Base
T_Sort_156MAlonzo.Code.Agda.Builtin.Reflection
T_Stack_1264MAlonzo.Code.Algorithmic.CEK
T_Stack_18MAlonzo.Code.Algorithmic.CK
T_Stack_6MAlonzo.Code.Untyped.CEK
T_State_1278MAlonzo.Code.Algorithmic.CEK
T_State_218MAlonzo.Code.Untyped.CEK
T_State_34MAlonzo.Code.Algorithmic.CK
T_StepKind_6MAlonzo.Code.Cost.Base
T_Steps_30MAlonzo.Code.Algorithmic.Evaluation
T_StrictPartialOrder_556MAlonzo.Code.Relation.Binary.Bundles
T_StrictTotalOrder_1036MAlonzo.Code.Relation.Binary.Bundles
T_String_6MAlonzo.Code.Agda.Builtin.String
T_SubRelation_60MAlonzo.Code.Relation.Binary.Reasoning.Syntax
T_SuccessorSet_8MAlonzo.Code.Algebra.Bundles
T_Surjection_846MAlonzo.Code.Function.Bundles
T_SymmetricKind_86MAlonzo.Code.Function.Related.Propositional
T_TagCon_106MAlonzo.Code.RawU
T_Tag_28MAlonzo.Code.RawU
T_TermNU_22MAlonzo.Code.Evaluator.Term
T_TermN_18MAlonzo.Code.Evaluator.Term
T_TermU_24MAlonzo.Code.Evaluator.Term
T_Term_14MAlonzo.Code.Evaluator.Term
T_Term_154MAlonzo.Code.Agda.Builtin.Reflection
T_TestPat_806MAlonzo.Code.VerifiedCompilation.UntypedViews
T_These_38MAlonzo.Code.Data.These.Base
T_TmCon_202MAlonzo.Code.RawU
T_TotalOrder_764MAlonzo.Code.Relation.Binary.Bundles
T_TotalPreorder_222MAlonzo.Code.Relation.Binary.Bundles
T_Trace_60MAlonzo.Code.VerifiedCompilation.Trace
T_Translation_12MAlonzo.Code.VerifiedCompilation.UntypedTranslation
T_TransMatch_18MAlonzo.Code.VerifiedCompilation.UntypedTranslation
T_Tree_180MAlonzo.Code.Data.Tree.AVL.Indexed
T_Tree_254MAlonzo.Code.Data.Tree.AVL
T_Tri_158MAlonzo.Code.Relation.Binary.Definitions
T_TwoVariableLinearFunction_60MAlonzo.Code.Cost.Raw
T_TwoVariableQuadraticFunction_76MAlonzo.Code.Cost.Raw
T_TwoVariableWithInteractionFunction_108MAlonzo.Code.Cost.Raw
T_TyCon_6MAlonzo.Code.Builtin.Constant.Type
T_TypecheckOptions_30MAlonzo.Code.Main
T_TypeError_12MAlonzo.Code.Check
T_TypeN_20MAlonzo.Code.Evaluator.Term
T_Type_16MAlonzo.Code.Evaluator.Term
T_UCSE_4MAlonzo.Code.VerifiedCompilation.UCSE
T_UltraMetric_498MAlonzo.Code.Function.Metric.Nat.Bundles
T_UnitalMagma_814MAlonzo.Code.Algebra.Bundles
T_Untyped_208MAlonzo.Code.RawU
T_Value_14MAlonzo.Code.Untyped.CEK
T_Value_182MAlonzo.Code.Untyped.Reduction
T_Value_28MAlonzo.Code.Algorithmic.ReductionEC
T_Value_38MAlonzo.Code.Data.Tree.AVL.Value
T_Value_52MAlonzo.Code.Algorithmic.CEK
T_Vec'8804'_126MAlonzo.Code.Data.Vec.Bounded.Base
T_Vec_28MAlonzo.Code.Data.Vec.Base
T_Visibility_48MAlonzo.Code.Agda.Builtin.Reflection
T_WeirdFin_56MAlonzo.Code.Scoped
T_Weirdℕ_42MAlonzo.Code.Scoped
T_Writer_364MAlonzo.Code.Utils
T_Zipper_78MAlonzo.Code.VerifiedCompilation.UForceDelay
T__'10216''91''8801''93''10217'β__8MAlonzo.Code.Type.Equality
T__'10230''42'__470MAlonzo.Code.Untyped.Reduction
T__'10230'__256MAlonzo.Code.Untyped.Reduction
T__'183''7510'__884MAlonzo.Code.VerifiedCompilation.UntypedViews
T__'215'__426MAlonzo.Code.Utils
T__'47'_'8866''8902'_26MAlonzo.Code.Builtin.Signature
T__'47'_'8866'r'8902'_64MAlonzo.Code.Builtin.Signature
T__'60''8314'__20MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.Strict
T__'60''8314'__374MAlonzo.Code.Induction.WellFounded
T__'60''8331'__20MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.Strict
T__'60'__18MAlonzo.Code.Data.Bool.Base
T__'60'__454MAlonzo.Code.Induction.WellFounded
T__'60'__50MAlonzo.Code.Data.Integer.Base
T__'8212''8594''8902'__652MAlonzo.Code.Algorithmic.ReductionEC
T__'8212''8594'__750MAlonzo.Code.Algorithmic.ReductionEC
T__'8212''8608'__780MAlonzo.Code.Algorithmic.ReductionEC
T__'8605'_28MAlonzo.Code.VerifiedCompilation.UInline
T__'8715''8902'__14MAlonzo.Code.Type
T__'8715'__16MAlonzo.Code.Algorithmic
T__'8715'__34MAlonzo.Code.Declarative
T__'8724'_'8803'__180MAlonzo.Code.Utils
T__'8739''691'__52MAlonzo.Code.Algebra.Definitions.RawMagma
T__'8739''737'__26MAlonzo.Code.Algebra.Definitions.RawMagma
T__'8739'__20MAlonzo.Code.Data.Nat.Divisibility.Core
T__'8759''7510'__1890MAlonzo.Code.VerifiedCompilation.UntypedViews
T__'8764'_'8852'__30MAlonzo.Code.Data.Tree.AVL.Height
T__'8771'__24MAlonzo.Code.Function.Properties.Inverse.HalfAdjointEquivalence
T__'8773'__1202MAlonzo.Code.Untyped.Reduction
T__'8773'__22MAlonzo.Code.Relation.Binary.HeterogeneousEquality.Core
T__'8776''8729'__20MAlonzo.Code.Relation.Binary.Construct.Add.Point.Equality
T__'8801'__12MAlonzo.Code.Agda.Builtin.Equality
T__'8801'β__10MAlonzo.Code.Type.Equality
T__'8803'I_'60''62''62'__1110MAlonzo.Code.Utils.List
T__'8803'_'60''62''62'__684MAlonzo.Code.Utils.List
T__'8804''8242'__338MAlonzo.Code.Data.Nat.Base
T__'8804''8244'__408MAlonzo.Code.Data.Nat.Base
T__'8804''8314'__20MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.NonStrict
T__'8804''8331'__20MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.NonStrict
T__'8804'__10MAlonzo.Code.Data.Bool.Base
T__'8804'__22MAlonzo.Code.Data.Nat.Base
T__'8804'__26MAlonzo.Code.Data.Integer.Base
T__'8826'__518MAlonzo.Code.Data.Fin.Base
T__'8829'__102MAlonzo.Code.VerifiedCompilation.UInline
T__'8846'__30MAlonzo.Code.Data.Sum.Base
T__'8866''8902'__20MAlonzo.Code.Type
T__'8866''9839'_4MAlonzo.Code.Builtin.Signature
T__'8866'Ne'8902'__6MAlonzo.Code.Type.BetaNormal
T__'8866'Nf'8902'__4MAlonzo.Code.Type.BetaNormal
T__'8866'_14MAlonzo.Code.Untyped
T__'8866'__110MAlonzo.Code.Declarative
T__'8866'__178MAlonzo.Code.Algorithmic
T__'91''8801''93'β__4MAlonzo.Code.Type.Equality
T__'91'_'93''61'__44MAlonzo.Code.Data.Vec.Base
T__'91'_'93''61'__74MAlonzo.Code.Data.List.Relation.Unary.All
T__HasNonTrivialDivisorLessThan__50MAlonzo.Code.Data.Nat.Divisibility.Core
T__IsRelatedTo__26MAlonzo.Code.Relation.Binary.Reasoning.Base.Single
T__IsRelatedTo__62MAlonzo.Code.Relation.Binary.Reasoning.Base.Double
T__IsRelatedTo__78MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
T_ƛ'7510'_870MAlonzo.Code.VerifiedCompilation.UntypedViews
T_Σ_14MAlonzo.Code.Agda.Builtin.Sigma