Combined Plutus 1.36.0.0 Documentation

Index - T

tabulateArrayPlutusPrelude
TagMAlonzo.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
Tagged 
1 (Type/Class)Prettyprinter.Extras
2 (Data Constructor)Prettyprinter.Extras
TagIntMAlonzo.Code.RawU
TagListMAlonzo.Code.RawU
TagPairMAlonzo.Code.RawU
TagStrMAlonzo.Code.RawU
TagUnitMAlonzo.Code.RawU
tagWithParamNamesPlutusLedgerApi.Common.ParamName, PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V1
tail 
1 (Function)Data.RandomAccessList.Class
2 (Function)PlutusTx.Builtins.Internal, PlutusTx.Builtins
3 (Function)PlutusTx.List, PlutusTx.Prelude
tailEmptyListErrorPlutusTx.ErrorCodes
TailListPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
TailList'cpu'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
TailList'memory'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
takePlutusTx.List, PlutusTx.Prelude
takeByteStringPlutusTx.Prelude
TallyingOpts
tallyingUntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
tallyingbudgetOpts
TallyingSt 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
tccBuiltinTypesPlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore, PlutusIR.TypeCheck.Internal, PlutusIR.TypeCheck
tccKindCheckConfigPlutusCore.TypeCheck.Internal
TCEKOpts
tceTypeCheckConfigPlutusCore.TypeCheck.Internal
tceTyVarKindsPlutusCore.TypeCheck.Internal
tceVarTypesPlutusCore.TypeCheck.Internal
TCKOpts
TCOptsOpts
Term 
1 (Type/Class)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Type/Class)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Type/Class)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
4 (Type/Class)PlutusTx.Test.Util.Compiled
termUntypedPlutusCore.Parser
termAnn 
1 (Function)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Function)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Function)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
TermAppContextPlutusIR.Contexts
TermBindPlutusIR.Core.Type, PlutusIR.Core, PlutusIR
TermBindingPlutusIR.Compiler.Provenance, PlutusIR.Compiler
termBindingsPlutusIR.Core.Plated, PlutusIR.Core, PlutusIR
termBinds 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
2 (Function)UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore
TermConstantGPlutusCore.Generators.NEAT.Term
termConstants 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
2 (Function)UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Function)PlutusIR.Core.Plated, PlutusIR.Core
termConstantsDeep 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
2 (Function)UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Function)PlutusIR.Core.Plated, PlutusIR.Core
TermDef 
1 (Type/Class)PlutusCore.MkPlc, PlutusIR.MkPir
2 (Type/Class)PlutusIR.Compiler.Types
termDefs 
1 (Function)PlutusCore.Analysis.Definitions
2 (Function)UntypedPlutusCore.Analysis.Definitions
3 (Function)PlutusIR.Analysis.Definitions
TermDefWithStrictnessPlutusIR.Compiler.Definitions
termEvaluationOrder 
1 (Function)UntypedPlutusCore.Purity
2 (Function)PlutusIR.Purity
TermGPlutusCore.Generators.NEAT.Term
TermGenPlutusCore.Generators.Hedgehog.Interesting
TerminatingUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
termIsSerializablePlutusIR.Analysis.Builtins
termLetPlutusCore.MkPlc, PlutusIR.MkPir
TermLikePlutusCore.MkPlc, PlutusIR.MkPir
termMapNames 
1 (Function)PlutusCore.Subst, PlutusCore
2 (Function)UntypedPlutusCore.Subst, UntypedPlutusCore
TermNamePlutusCore.Check.Scoping
TermOf 
1 (Type/Class)PlutusCore.Generators.Hedgehog.TypedBuiltinGen, PlutusCore.Generators.Hedgehog.Interesting, PlutusCore.Generators.Hedgehog
2 (Data Constructor)PlutusCore.Generators.Hedgehog.TypedBuiltinGen, PlutusCore.Generators.Hedgehog.Interesting, PlutusCore.Generators.Hedgehog
TermParamPlutusCore.Arity
termRetentionMapPlutusIR.Analysis.RetainedSize
TermScopePlutusCore.Analysis.Definitions
termSize 
1 (Function)PlutusCore.Size, PlutusCore
2 (Function)UntypedPlutusCore.Size, UntypedPlutusCore
3 (Function)PlutusIR.Analysis.Size
termSubkinds 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
2 (Function)PlutusIR.Core.Plated, PlutusIR.Core
TermSubst 
1 (Type/Class)PlutusIR.Transform.Inline.Utils
2 (Data Constructor)PlutusIR.Transform.Inline.Utils
termSubstPlutusIR.Transform.Inline.Utils
termSubstClosedTermPlutusCore.Subst
termSubstClosedTypePlutusCore.Subst
termSubstNames 
1 (Function)PlutusCore.Subst
2 (Function)UntypedPlutusCore.Subst, UntypedPlutusCore
3 (Function)PlutusIR.Transform.Substitute
termSubstNamesM 
1 (Function)PlutusCore.Subst
2 (Function)UntypedPlutusCore.Subst, UntypedPlutusCore
3 (Function)PlutusIR.Transform.Substitute
termSubstTyNames 
1 (Function)PlutusCore.Subst
2 (Function)PlutusIR.Transform.Substitute
termSubstTyNamesM 
1 (Function)PlutusCore.Subst
2 (Function)PlutusIR.Transform.Substitute
termSubterms 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Function)UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Function)PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR
termSubtermsDeep 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
2 (Function)UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Function)PlutusIR.Core.Plated, PlutusIR.Core
termSubtypes 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Function)PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR
termSubtypesDeep 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
2 (Function)PlutusIR.Core.Plated, PlutusIR.Core
termTagWidthUntypedPlutusCore.Core.Instance.Flat, UntypedPlutusCore.Core.Instance, UntypedPlutusCore.Core, UntypedPlutusCore
termTyBindsPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
TermUnique 
1 (Type/Class)PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
2 (Data Constructor)PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
termUniques 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
2 (Function)UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Function)PlutusIR.Core.Plated, PlutusIR.Core
termUniquesDeep 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
2 (Function)UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Function)PlutusIR.Core.Plated, PlutusIR.Core
termUsages 
1 (Function)UntypedPlutusCore.Analysis.Usages
2 (Function)PlutusIR.Analysis.Usages
termVarInfoPlutusIR.Analysis.VarInfo
termVarInfoMapPlutusIR.Analysis.VarInfo
termVars 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
2 (Function)UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Function)PlutusIR.Core.Plated, PlutusIR.Core
TestFailPlutusCore.Generators.NEAT.Spec
TestFailurePlutusLedgerApi.Test.EvaluationEvent
TestNestedTest.Tasty.Extras, PlutusCore.Test
testNestedTest.Tasty.Extras, PlutusCore.Test
testNestedGhcTest.Tasty.Extras, PlutusCore.Test
testNestedGhcMTest.Tasty.Extras, PlutusCore.Test
TestNestedM 
1 (Type/Class)Test.Tasty.Extras, PlutusCore.Test
2 (Data Constructor)Test.Tasty.Extras, PlutusCore.Test
testNestedMTest.Tasty.Extras, PlutusCore.Test
testNestedNamedTest.Tasty.Extras, PlutusCore.Test
testNestedNamedMTest.Tasty.Extras, PlutusCore.Test
testPassPropPlutusIR.Pass.Test
testPassProp'PlutusIR.Pass.Test
testsPlutusCore.Generators.NEAT.Spec
TestTypesFromTheUniverseAreAllKnownPlutusCore.Builtin.TestKnown, PlutusCore.Builtin
test_scopingBadPlutusCore.Test
test_scopingGoodPlutusCore.Test
test_scopingSpoilRenamerPlutusCore.Test
TextualPlutusCore.Executable.Types, PlutusCore.Executable.Common
TextualPirPlutusCore.Executable.Types, PlutusCore.Executable.Common
ThatPlutusTx.These
These 
1 (Type/Class)PlutusTx.These
2 (Data Constructor)PlutusTx.These
thesePlutusTx.These
theseWithDefaultPlutusTx.These
theTextPlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
theUniquePlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
ThisPlutusTx.These
throughPlutusPrelude
throwPlutusPrelude
ThrowableBuiltinsPlutusCore.Pretty.PrettyConst, PlutusCore.Pretty, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
throwBuiltinErrorWithCausePlutusCore.Evaluation.ErrorWithCause, PlutusCore.Builtin.KnownType, PlutusCore.Builtin
throwCtrexPlutusCore.Generators.NEAT.Spec
throwingPlutusCore.Builtin.Result, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin
throwingEitherPlutusCore.Error
throwingWithCausePlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception
throwingWithCause_PlutusCore.Evaluation.ErrorWithCause
throwing_PlutusCore.Builtin.Result, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin
throwNotAConstantPlutusCore.Builtin.Result, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin.HasConstant, PlutusCore.Builtin
ThrowOnBothEmptyPlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug
ThrowOnStuckText.PrettyBy.Internal
throwPlainPlutusTx.Compiler.Error
throwSdPlutusTx.Compiler.Utils
throwUnderTypeErrorPlutusCore.Builtin.Result, PlutusCore.Builtin
thunkRecursionsPlutusIR.Transform.ThunkRecursions
thunkRecursionsPassPlutusIR.Transform.ThunkRecursions
timesAPlutusPrelude
TimingPlutusCore.Executable.Types, PlutusCore.Executable.Common
TimingModePlutusCore.Executable.Types, PlutusCore.Executable.Common
titlePlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
TLOpts
TmBoolGPlutusCore.Generators.NEAT.Term
TmByteStringGPlutusCore.Generators.NEAT.Term
TmDataGPlutusCore.Generators.NEAT.Term
TmIntegerGPlutusCore.Generators.NEAT.Term
tmnames 
1 (Function)Raw
2 (Function)Untyped
TmStringGPlutusCore.Generators.NEAT.Term
TmUnitGPlutusCore.Generators.NEAT.Term
to 
1 (Function)PlutusCore.Check.Scoping
2 (Function)PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
toAnonDeBruijnProgPlutusTx.Test.Util.Compiled
toAnonDeBruijnTermPlutusTx.Test.Util.Compiled
ToBindsPlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin
ToBuiltinPlutusTx.Builtins.HasBuiltin
toBuiltinPlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.Builtins.HasBuiltin, PlutusTx.Builtins, PlutusTx.Prelude
toBuiltinDataPlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx
toBuiltinListPlutusTx.Data.AssocMap
ToBuiltinMeaningPlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug
toBuiltinMeaningPlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug
toBuiltinRuntimePlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug
toBuiltinsRuntimePlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug
toBytesPlutusCore.Pretty.PrettyConst
toCellCandidatesNumber 
1 (Function)PlutusLedgerApi.Test.V1.Data.Value
2 (Function)PlutusLedgerApi.Test.V1.Value
toChunkFrequenciesPlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
toChunkNumberPlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
toChunksPlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
toCostModelParamsPlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common
ToDataPlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx
toDataPlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx
toDeBruijnTermPLCPlutusCore.Executable.AstIO
toDeBruijnTermUPLCPlutusCore.Executable.AstIO
toDeBruijnTypePLCPlutusCore.Executable.AstIO
toDefaultCompilationCtxPlutusIR.Compiler.Types, PlutusIR.Compiler
toDigitsPlutusTx.Show
toEnumPlutusTx.Enum, PlutusTx.Prelude
toEnumBoolBadArgumentErrorPlutusTx.ErrorCodes
toEnumOrderingBadArgumentErrorPlutusTx.ErrorCodes
toEnumVoidBadArgumentErrorPlutusTx.ErrorCodes
toErrorBPlutusCore.Parser.ParserCommon, PlutusCore.Parser
toFakePlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn
toGHCPlutusLedgerApi.V3, PlutusLedgerApi.Data.V3, PlutusTx.Ratio
ToHolesPlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin
TokenName 
1 (Type/Class)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
3 (Type/Class)PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
4 (Data Constructor)PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
tokenName 
1 (Function)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V1.Data.Value
toKeyValuePlutusTx.Options
ToKindPlutusCore.Builtin.KnownKind, PlutusCore.Builtin, PlutusCore.TypeCheck, PlutusCore
toList 
1 (Function)PlutusPrelude
2 (Function)PlutusTx.Foldable, PlutusTx.Prelude
3 (Function)PlutusTx.Data.AssocMap
4 (Function)PlutusTx.AssocMap
toMachineParametersPlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1
toMaxChunkNumberPlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
toMCostModelPlutusLedgerApi.Test.Common.EvaluationContext
toMonoFPlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug
toNamedDeBruijnTermPlutusTx.Test.Util.Compiled
toNamedDeBruijnUPLCPlutusCore.Executable.AstIO
toOpaquePlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.Builtins.HasOpaque, PlutusTx.Builtins, PlutusTx.Prelude
topPlutusTx.Lattice, PlutusTx.Prelude
toPatFuncKindPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
topFixityPlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.Fixity, Text.PrettyBy.Fixity
toPolyFPlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug
topPrettyConfigReadablePlutusCore.Pretty.Readable, PlutusCore.Pretty
topRenderContextPlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.Fixity, Text.PrettyBy.Fixity
toPrettyConfigNamePlutusCore.Pretty.ConfigName, PlutusCore.Pretty
toPrintedNamePlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
toProgramNamePlutusIR.Compiler.Types
topSrcSpan 
1 (Function)PlutusCore.Executable.Common
2 (Function)PlutusCore.Test, PlutusIR.Test
toPubKeyHashPlutusLedgerApi.V1.Address, PlutusLedgerApi.V1
ToScopedNamePlutusCore.Check.Scoping
toScopedNamePlutusCore.Check.Scoping
toScriptHashPlutusLedgerApi.V1.Address, PlutusLedgerApi.V1
toSimpleBuiltinCostModelPlutusCore.Evaluation.Machine.SimpleBuiltinCostModel
toSingKindPlutusCore.Builtin.KnownKind, PlutusCore.Builtin
toSOPPlutusTx.Data.List
toSrcSpanPlutusCore.Parser.ParserCommon, PlutusCore.Parser
toString 
1 (Function)PlutusLedgerApi.V1.Value
2 (Function)PlutusLedgerApi.V1.Data.Value
TotalCountIndexUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ToTheLeftPlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.Fixity.Internal, Text.Fixity, Text.PrettyBy.Fixity
ToTheRightPlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.Fixity.Internal, Text.Fixity, Text.PrettyBy.Fixity
ToTPlcPlutusCore.Test
toTPlcPlutusCore.Test
toTypeAstPlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin
ToUPlcPlutusCore.Test
toUPlcPlutusCore.Test
TracePlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
trace 
1 (Function)PlutusPrelude
2 (Function)PlutusTx.Builtins.Internal
3 (Function)PlutusTx.Builtins, PlutusTx.Trace, PlutusTx.Prelude
Trace'cpu'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
Trace'memory'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
traceAllPlutusTx.Builtins.Internal
traceBoolPlutusTx.Trace, PlutusTx.Prelude
traceCompilationPlutusTx.Compiler.Trace
traceCompilationStepPlutusTx.Compiler.Trace
traceErrorPlutusTx.Trace, PlutusTx.Prelude
traceIfFalsePlutusTx.Trace, PlutusTx.Prelude
traceIfTruePlutusTx.Trace, PlutusTx.Prelude
TraceModePlutusCore.Executable.Types, PlutusCore.Executable.Common
tracemodePlutusCore.Executable.Parsers
traceShowIdPlutusPrelude
TrackCostsPlutusCore.Examples.Builtins
trailingWhitespacePlutusCore.Parser.ParserCommon, PlutusCore.Parser
transferArgStackUntypedPlutusCore.Evaluation.Machine.Cek.Internal
TraversablePlutusTx.Traversable, PlutusTx.Prelude
traversePlutusTx.Traversable, PlutusTx.Prelude
traverse_ 
1 (Function)PlutusPrelude
2 (Function)PlutusTx.Foldable, PlutusTx.Prelude
TreasuryWithdrawals 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
treeDataPlutusCore.Examples.Data.TreeForest
treeFolderContentsPlutusCore.FsTree
treeNodePlutusCore.Examples.Data.TreeForest
trivialTypePlutusIR.Transform.Inline.Utils
TruePlutusTx.Bool, PlutusTx.Prelude
true 
1 (Function)PlutusCore.StdLib.Data.Bool
2 (Function)PlutusTx.Builtins.Internal
truncatePlutusTx.Ratio
truncateDoubleMAlonzo.RTE.Float
tryErrorPlutusPrelude
tryUniApplyUniverse.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug
Tuple 
1 (Type/Class)PlutusCore.StdLib.Meta.Data.Tuple
2 (Data Constructor)PlutusCore.StdLib.Meta.Data.Tuple
tupledText.Pretty
tupleDefAtPlutusCore.StdLib.Meta.Data.Tuple
tupleTermAtPlutusCore.StdLib.Meta.Data.Tuple
tupleTypeTermAtPlutusCore.StdLib.Meta.Data.Tuple
tvTerm 
1 (Function)PlutusCore.Subst
2 (Function)PlutusIR.Subst
tvTyPlutusCore.Subst, PlutusIR.Subst
TwoVariableLinearFunction 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
3 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
4 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableLinearFunctionInterceptPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableLinearFunctionSlope1PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableLinearFunctionSlope2PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
TwoVariableQuadraticFunction 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
3 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
4 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableQuadraticFunctionC00PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableQuadraticFunctionC01PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableQuadraticFunctionC02PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableQuadraticFunctionC10PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableQuadraticFunctionC11PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableQuadraticFunctionC20PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableQuadraticFunctionMinimumPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
TxCert 
1 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertAuthHotCommittee 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertDelegStaking 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertPoolRegister 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertPoolRetire 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertRegDeleg 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertRegDRep 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertRegStaking 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertResignColdCommittee 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertUnRegDRep 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertUnRegStaking 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertUpdateDRep 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxId 
1 (Type/Class)PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
3 (Type/Class)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
4 (Data Constructor)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
5 (Type/Class)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
6 (Data Constructor)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
TxInfo 
1 (Type/Class)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Data Constructor)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
3 (Type/Class)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
4 (Data Constructor)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
5 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
6 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
7 (Type/Class)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
8 (Data Constructor)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
9 (Type/Class)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
10 (Data Constructor)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
11 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
12 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoCurrentTreasuryAmount 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoData 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoDCert 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
4 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
txInfoFee 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoId 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoInputs 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoMint 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoOutputs 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoProposalProcedures 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoRedeemers 
1 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
2 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
3 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
4 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoReferenceInputs 
1 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
2 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
3 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
4 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoSignatories 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoTreasuryDonation 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoTxCerts 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoValidRange 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoVotes 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoWdrl 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxInInfo 
1 (Type/Class)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Data Constructor)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
3 (Type/Class)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
4 (Data Constructor)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
5 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
6 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
7 (Type/Class)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
8 (Data Constructor)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
9 (Type/Class)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
10 (Data Constructor)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
11 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
12 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInInfoOutRef 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInInfoResolved 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxOut 
1 (Type/Class)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Data Constructor)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
3 (Type/Class)PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3
4 (Data Constructor)PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3
5 (Type/Class)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
6 (Data Constructor)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
7 (Type/Class)PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
8 (Data Constructor)PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
txOutAddress 
1 (Function)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3
3 (Function)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
4 (Function)PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
txOutDatum 
1 (Function)PlutusLedgerApi.V1.Tx
2 (Function)PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3
3 (Function)PlutusLedgerApi.V1.Data.Tx
4 (Function)PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
txOutDatumHash 
1 (Function)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
txOutPubKey 
1 (Function)PlutusLedgerApi.V1.Tx
2 (Function)PlutusLedgerApi.V2.Tx
3 (Function)PlutusLedgerApi.V1.Data.Tx
4 (Function)PlutusLedgerApi.V2.Data.Tx
TxOutRef 
1 (Type/Class)PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
3 (Type/Class)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
4 (Data Constructor)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
5 (Type/Class)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
6 (Data Constructor)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
txOutReferenceScript 
1 (Function)PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
txOutRefId 
1 (Function)PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
txOutRefIdx 
1 (Function)PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
txOutValue 
1 (Function)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3
3 (Function)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
4 (Function)PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
txSignedBy 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts
3 (Function)PlutusLedgerApi.V3.Contexts
4 (Function)PlutusLedgerApi.V1.Data.Contexts
5 (Function)PlutusLedgerApi.V2.Data.Contexts
6 (Function)PlutusLedgerApi.V3.Data.Contexts
TyAbs 
1 (Data Constructor)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
tyAbsPlutusCore.MkPlc, PlutusIR.MkPir
TyAbsGPlutusCore.Generators.NEAT.Term
TyAppPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
TyAppGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
TyAppRepPlutusCore.Builtin.Polymorphism, PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin.Debug
TyBoolGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
TyBuiltinPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
TyBuiltinGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
TyByteStringGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
tyConsOfAltPlutusTx.Compiler.Utils
tyConsOfBindPlutusTx.Compiler.Utils
tyConsOfBndrPlutusTx.Compiler.Utils
tyConsOfExprPlutusTx.Compiler.Utils
TyDataGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
TyDeBruijn 
1 (Type/Class)PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore
2 (Data Constructor)PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore
TyDecl 
1 (Type/Class)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.MkPir
2 (Data Constructor)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.MkPir
tyDeclAnnPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
tyDeclKindPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
tyDeclTypePlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
tyDeclVarPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.MkPir
TyForallPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
TyForallGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
TyForallRepPlutusCore.Builtin.Polymorphism, PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin.Debug
TyFunPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
TyFunGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
TyIFixPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
TyIFixGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
TyInst 
1 (Data Constructor)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Type/Class)PlutusIR.Generators.QuickCheck.GenerateTerms, PlutusIR.Generators.QuickCheck
3 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
tyInstPlutusCore.MkPlc, PlutusIR.MkPir
TyInstGPlutusCore.Generators.NEAT.Term
TyIntegerGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
TyLamPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
TyLamGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
tyListEPlutusTx.Lift.THUtils
TyListGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
TyName 
1 (Type/Class)PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
2 (Data Constructor)PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
tyNamePlutusCore.Parser.Type, PlutusCore.Parser
TyNameMismatchPlutusCore.Error
tynameOfPlutusCore.Generators.NEAT.Common
TyNameRep 
1 (Type/Class)PlutusCore.Builtin.Polymorphism, PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin.Debug
2 (Data Constructor)PlutusCore.Builtin.Polymorphism, PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin.Debug
tynames 
1 (Function)PlutusCore.Generators.NEAT.Spec
2 (Function)Raw
TyNameState 
1 (Type/Class)PlutusCore.Generators.NEAT.Common
2 (Data Constructor)PlutusCore.Generators.NEAT.Common
tyNameToDeBruijnPlutusCore.DeBruijn.Internal
Type 
1 (Type/Class)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
2 (Data Constructor)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
Typeable 
1 (Type/Class)PlutusPrelude, PlutusCore.Builtin.TypeScheme, PlutusCore.Builtin
2 (Type/Class)PlutusTx.Lift.Class, PlutusTx
typeAnnPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
TypeAppContextPlutusIR.Contexts
typeArityPlutusIR.Generators.QuickCheck.GenerateTerms, PlutusIR.Generators.QuickCheck
typeAstPlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin
TypeBindPlutusIR.Core.Type, PlutusIR.Core, PlutusIR
TypeBindingPlutusIR.Compiler.Provenance, PlutusIR.Compiler
TypeBuiltinGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
TypecheckOpts
TypecheckablePlutusCore.TypeCheck, PlutusCore
typeCheckAgainstPlutusTx.Lift
TypeCheckConfig 
1 (Type/Class)PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore, PlutusIR.TypeCheck.Internal
2 (Data Constructor)PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore, PlutusIR.TypeCheck.Internal
typeCheckConfigPlutusCore.TypeCheck.Internal
TypeCheckEnv 
1 (Type/Class)PlutusCore.TypeCheck.Internal
2 (Data Constructor)PlutusCore.TypeCheck.Internal
TypecheckOptionsOpts
typecheckOptsOpts
typecheckPassPlutusIR.Pass
TypechecksPlutusIR.Pass
TypeCheckTPlutusCore.TypeCheck.Internal, PlutusIR.TypeCheck.Internal
typeCheckTermPlutusIR.Generators.QuickCheck.Common, PlutusIR.Generators.QuickCheck
typeCheckTermInContextPlutusIR.Generators.QuickCheck.Common, PlutusIR.Generators.QuickCheck
typeCodePlutusTx.Lift
TypeCtxPlutusCore.Generators.QuickCheck.Common, PlutusCore.Generators.QuickCheck
TypedBuiltinGenPlutusCore.Generators.Hedgehog.TypedBuiltinGen, PlutusCore.Generators.Hedgehog
TypedBuiltinGenTPlutusCore.Generators.Hedgehog.TypedBuiltinGen, PlutusCore.Generators.Hedgehog
typedBuiltinsPlutusCore.Generators.Hedgehog.Denotation, PlutusCore.Generators.Hedgehog
TypeDefPlutusCore.MkPlc, PlutusIR.MkPir
TypeError 
1 (Type/Class)PlutusCore.Error, PlutusCore, PlutusIR.Error
2 (Data Constructor)PlutusCore.Generators.NEAT.Spec
3 (Data Constructor)Raw
TypeErrorEPlutusCore.Error, PlutusCore
TypeErrorExtPlutusIR.Error
typeEvalCheckByPlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog
TypeEvalCheckErrorPlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog
TypeEvalCheckErrorExceptionPlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog
TypeEvalCheckErrorIllEvaledPlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog
TypeEvalCheckErrorIllFormedPlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog
TypeEvalCheckErrorIllTypedPlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog
TypeEvalCheckMPlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog
TypeEvalCheckResult 
1 (Type/Class)PlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog
2 (Data Constructor)PlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog
TypeGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
TypeHolePlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin
typeLetPlutusCore.MkPlc, PlutusIR.MkPir
typeMapNamesPlutusCore.Subst, PlutusCore
TypeMismatchPlutusCore.Error
TypeNamePlutusCore.Check.Scoping
typeOfBuiltinFunctionPlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug
TypeParamPlutusCore.Arity
TypeRenamingPlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal
typeRepPlutusTx.Lift.Class
TypesPlutusIR.Compiler.Let
TypeSchemePlutusCore.Builtin.TypeScheme, PlutusCore.Builtin
TypeSchemeAllPlutusCore.Builtin.TypeScheme, PlutusCore.Builtin
typeSchemeArityPlutusCore.Arity
TypeSchemeArrowPlutusCore.Builtin.TypeScheme, PlutusCore.Builtin
TypeSchemeResultPlutusCore.Builtin.TypeScheme, PlutusCore.Builtin
typeSchemeToTypePlutusCore.Builtin.TypeScheme, PlutusCore.Builtin
TypeScopePlutusCore.Analysis.Definitions
typeSizePlutusCore.Size, PlutusCore, PlutusIR.Analysis.Size
TypeSubPlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck
typeSubkindsPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusIR.Core.Plated, PlutusIR.Core
TypeSubst 
1 (Type/Class)PlutusIR.Transform.Inline.Utils
2 (Data Constructor)PlutusIR.Transform.Inline.Utils
typeSubstPlutusIR.Transform.Inline.Utils
typeSubstClosedTypePlutusCore.Subst
typeSubstTyNamesPlutusCore.Subst, PlutusIR.Transform.Substitute
typeSubstTyNamesMPlutusCore.Subst
typeSubtypesPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR
typeSubtypesDeepPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusIR.Core.Plated, PlutusIR.Core
typeTyBindsPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
typeTyVarsPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
TypeUnique 
1 (Type/Class)PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
2 (Data Constructor)PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
typeUniquesPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusIR.Core.Plated, PlutusIR.Core
typeUniquesDeepPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusIR.Core.Plated, PlutusIR.Core
typeUsagesPlutusIR.Analysis.Usages
typeVarInfoMapPlutusIR.Analysis.VarInfo
TySOPPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
TyStringGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
TyUnitGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
TyVarPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
TyVarDecl 
1 (Type/Class)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir
2 (Data Constructor)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir
tyVarDeclAnnPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
tyVarDeclKindPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
tyVarDeclNamePlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
tyVarDeclNameStringPlutusIR.Core.Type, PlutusIR.Core, PlutusIR
tyVarDeclSizePlutusCore.Size, PlutusIR.Analysis.Size
tyVarDeclSubkindsPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
TyVarGPlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term
TyVarInfoPlutusIR.Analysis.VarInfo
TyVarKindsPlutusCore.TypeCheck.Internal
TyVarRepPlutusCore.Builtin.Polymorphism, PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin.Debug
tzipUntypedPlutusCore.Core.Zip
tzipWithUntypedPlutusCore.Core.Zip
T_'8868'_6MAlonzo.Code.Agda.Builtin.Unit
T_'8869'_4MAlonzo.Code.Data.Empty
T_'9839'Kinded_40MAlonzo.Code.Algorithmic
T_AbelianGroup_990MAlonzo.Code.Algebra.Bundles
T_Abs_112MAlonzo.Code.Agda.Builtin.Reflection
T_Acc_42MAlonzo.Code.Induction.WellFounded
T_Alignment_140MAlonzo.Code.Data.String.Base
T_AllForced_18MAlonzo.Code.VerifiedCompilation.UFloatDelay
T_AllPairs_20MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core
T_allTerms_788MAlonzo.Code.VerifiedCompilation.UntypedViews
T_All_18MAlonzo.Code.Data.Maybe.Relation.Unary.All
T_All_44MAlonzo.Code.Data.List.Relation.Unary.All
T_Any_18MAlonzo.Code.Data.Maybe.Relation.Unary.Any
T_Any_34MAlonzo.Code.Data.List.Relation.Unary.Any
T_ArgChunk_4MAlonzo.Code.Text.Format
T_ArgInfo_76MAlonzo.Code.Agda.Builtin.Reflection
T_Arg_88MAlonzo.Code.Agda.Builtin.Reflection
T_Associativity_14MAlonzo.Code.Agda.Builtin.Reflection
T_AtomicTyCon_6MAlonzo.Code.Builtin.Constant.AtomicType
T_Backward'45'kind_178MAlonzo.Code.Function.Related
T_Band_266MAlonzo.Code.Algebra.Bundles
T_BApp_42MAlonzo.Code.Untyped.CEK
T_BApp_48MAlonzo.Code.Algorithmic.CEK
T_BApp_74MAlonzo.Code.Algorithmic.ReductionEC
T_BiEquivalence_1138MAlonzo.Code.Function.Bundles
T_BiInverse_1164MAlonzo.Code.Function.Bundles
T_Bijection_64MAlonzo.Code.Function.Bijection
T_Bijection_842MAlonzo.Code.Function.Bundles
T_Bijective_18MAlonzo.Code.Function.Bijection
T_Blocker_100MAlonzo.Code.Agda.Builtin.Reflection
T_Bls12'45'381'45'G1'45'Element_464MAlonzo.Code.Utils
T_Bls12'45'381'45'G2'45'Element_468MAlonzo.Code.Utils
T_Bls12'45'381'45'MlResult_472MAlonzo.Code.Utils
T_BooleanAlgebra_1878MAlonzo.Code.Relation.Binary.Lattice
T_BooleanAlgebra_2920MAlonzo.Code.Algebra.Bundles
T_Bool_6MAlonzo.Code.Agda.Builtin.Bool
T_BoundedJoinSemilattice_336MAlonzo.Code.Relation.Binary.Lattice
T_BoundedLattice_1324MAlonzo.Code.Relation.Binary.Lattice
T_BoundedMeetSemilattice_706MAlonzo.Code.Relation.Binary.Lattice
T_BudgetMode_36MAlonzo.Code.Evaluator.Program
T_BuiltinModel_60MAlonzo.Code.Cost.Model
T_Builtin_2MAlonzo.Code.Builtin
T_Bwd_6MAlonzo.Code.Utils.List
T_ByteString_356MAlonzo.Code.Utils
T_CancellativeCommutativeSemiring_2276MAlonzo.Code.Algebra.Bundles
T_Cases_104MAlonzo.Code.Declarative
T_Cases_162MAlonzo.Code.Algorithmic
T_Char_6MAlonzo.Code.Agda.Builtin.Char
T_Chunk_60MAlonzo.Code.Text.Format.Generic
T_Clause_160MAlonzo.Code.Agda.Builtin.Reflection
T_CoCCase_42MAlonzo.Code.VerifiedCompilation.UCaseOfCase
T_CoCForce_146MAlonzo.Code.VerifiedCompilation.UCaseOfCase
T_CoC_4MAlonzo.Code.VerifiedCompilation.UCaseOfCase
T_Command_36MAlonzo.Code.Main
T_CommutativeMagma_148MAlonzo.Code.Algebra.Bundles
T_CommutativeMonoid_582MAlonzo.Code.Algebra.Bundles
T_CommutativeRing_2704MAlonzo.Code.Algebra.Bundles
T_CommutativeSemigroup_332MAlonzo.Code.Algebra.Bundles
T_CommutativeSemiringWithoutOne_1598MAlonzo.Code.Algebra.Bundles
T_CommutativeSemiring_2094MAlonzo.Code.Algebra.Bundles
T_CostingModel_8MAlonzo.Code.Cost.Model
T_CpuAndMemoryModel_146MAlonzo.Code.Cost.Raw
T_Ctx'8902'_2MAlonzo.Code.Type
T_Ctx_16MAlonzo.Code.Declarative
T_Ctx_2MAlonzo.Code.Algorithmic
T_DATA_450MAlonzo.Code.Utils
T_DecEq_6MAlonzo.Code.VerifiedCompilation.Equality
T_DecPoset_360MAlonzo.Code.Relation.Binary.Bundles
T_DecSetoid_84MAlonzo.Code.Relation.Binary.Bundles
T_DecStrictPartialOrder_546MAlonzo.Code.Relation.Binary.Bundles
T_DecTotalOrder_740MAlonzo.Code.Relation.Binary.Bundles
T_Dec_32MAlonzo.Code.Relation.Nullary
T_Definition_280MAlonzo.Code.Agda.Builtin.Reflection
T_DistributiveLattice_1098MAlonzo.Code.Relation.Binary.Lattice
T_DistributiveLattice_1228MAlonzo.Code.Algebra.Bundles
T_DivMod_808MAlonzo.Code.Data.Nat.DivMod
T_EC_476MAlonzo.Code.Algorithmic.ReductionEC
T_Either_6MAlonzo.Code.Utils
T_Env_16MAlonzo.Code.Untyped.CEK
T_Env_26MAlonzo.Code.Algorithmic.CEK
T_Equivalence'45'kind_206MAlonzo.Code.Function.Related
T_Equivalence_16MAlonzo.Code.Function.Equivalence
T_Equivalence_924MAlonzo.Code.Function.Bundles
T_ErrorPart_306MAlonzo.Code.Agda.Builtin.Reflection
T_Error_1074MAlonzo.Code.Algorithmic.CEK
T_ERROR_12MAlonzo.Code.Evaluator.Base
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_50MAlonzo.Code.Cost
T_FD_84MAlonzo.Code.VerifiedCompilation.UForceDelay
T_FileHandle_332MAlonzo.Code.VerifiedCompilation
T_FilePath_16MAlonzo.Code.Main
T_Finished_12MAlonzo.Code.Algorithmic.Evaluation
T_Fin_6MAlonzo.Code.Data.Fin.Base
T_Fixity_28MAlonzo.Code.Agda.Builtin.Reflection
T_FlD_474MAlonzo.Code.VerifiedCompilation.UFloatDelay
T_Float_6MAlonzo.Code.Agda.Builtin.Float
T_FocusedProgDissect_28MAlonzo.Code.Algorithmic.ReductionEC.Progress
T_FormatSpec_6MAlonzo.Code.Text.Format.Generic
T_Format_14MAlonzo.Code.Evaluator.Program
T_Forward'45'kind_150MAlonzo.Code.Function.Related
T_Frame_1084MAlonzo.Code.Algorithmic.CEK
T_Frame_196MAlonzo.Code.Untyped.CEK
T_Frame_352MAlonzo.Code.Algorithmic.ReductionEC
T_FreeVariableError_574MAlonzo.Code.Scoped
T_Func_642MAlonzo.Code.Function.Bundles
T_Gas_4MAlonzo.Code.Algorithmic.Evaluation
T_Group_890MAlonzo.Code.Algebra.Bundles
T_HCekMachineCosts_4MAlonzo.Code.Cost.Raw
T_HExBudget_6MAlonzo.Code.Cost.Raw
T_HeytingAlgebra_1602MAlonzo.Code.Relation.Binary.Lattice
T_HsEq_260MAlonzo.Code.VerifiedCompilation.Equality
T_IBwd_396MAlonzo.Code.Utils.List
T_IdempotentCommutativeMonoid_674MAlonzo.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_InitLast_828MAlonzo.Code.Data.List.Base
T_Injection_704MAlonzo.Code.Function.Bundles
T_Injection_88MAlonzo.Code.Function.Injection
T_Input_16MAlonzo.Code.Evaluator.Program
T_Int_6MAlonzo.Code.Agda.Builtin.Int
T_Inverse_1048MAlonzo.Code.Function.Bundles
T_Inverse_58MAlonzo.Code.Function.Inverse
T_IO_8MAlonzo.Code.Agda.Builtin.IO
T_IsAbelianGroupMorphism_1144MAlonzo.Code.Algebra.Morphism
T_IsAbelianGroup_662MAlonzo.Code.Algebra.Structures
T_isApp_142MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsBand_230MAlonzo.Code.Algebra.Structures
T_IsBiEquivalence_554MAlonzo.Code.Function.Structures
T_IsBiInverse_636MAlonzo.Code.Function.Structures
T_IsBijection_232MAlonzo.Code.Function.Structures
T_IsBooleanAlgebra_1760MAlonzo.Code.Relation.Binary.Lattice
T_IsBooleanAlgebra_1864MAlonzo.Code.Algebra.Structures
T_IsBoundedJoinSemilattice_262MAlonzo.Code.Relation.Binary.Lattice
T_IsBoundedLattice_1226MAlonzo.Code.Relation.Binary.Lattice
T_IsBoundedMeetSemilattice_632MAlonzo.Code.Relation.Binary.Lattice
T_isBuiltin_698MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsCancellativeCommutativeSemiring_1462MAlonzo.Code.Algebra.Structures
T_isCase_574MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsCommutativeMagma_122MAlonzo.Code.Algebra.Structures
T_IsCommutativeMonoid'691'_1568MAlonzo.Code.Algebra.Structures.Biased
T_IsCommutativeMonoid'737'_1514MAlonzo.Code.Algebra.Structures.Biased
T_IsCommutativeMonoidMorphism_482MAlonzo.Code.Algebra.Morphism
T_IsCommutativeMonoid_406MAlonzo.Code.Algebra.Structures
T_IsCommutativeRing_1720MAlonzo.Code.Algebra.Structures
T_IsCommutativeSemigroup_270MAlonzo.Code.Algebra.Structures
T_IsCommutativeSemiring'691'_1754MAlonzo.Code.Algebra.Structures.Biased
T_IsCommutativeSemiring'737'_1626MAlonzo.Code.Algebra.Structures.Biased
T_IsCommutativeSemiringWithoutOne_1044MAlonzo.Code.Algebra.Structures
T_IsCommutativeSemiring_1344MAlonzo.Code.Algebra.Structures
T_IsCongruent_22MAlonzo.Code.Function.Structures
T_isConstr_478MAlonzo.Code.VerifiedCompilation.UntypedViews
T_isCon_438MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsDecEquivalence_44MAlonzo.Code.Relation.Binary.Structures
T_IsDecPartialOrder_206MAlonzo.Code.Relation.Binary.Structures
T_IsDecStrictPartialOrder_314MAlonzo.Code.Relation.Binary.Structures
T_IsDecTotalOrder_434MAlonzo.Code.Relation.Binary.Structures
T_isDelay_354MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsDistributiveLattice_1012MAlonzo.Code.Relation.Binary.Lattice
T_IsDistributiveLattice_814MAlonzo.Code.Algebra.Structures
T_IsEquality_126MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
T_IsEquality_74MAlonzo.Code.Relation.Binary.Reasoning.Base.Double
T_IsEquivalence_26MAlonzo.Code.Relation.Binary.Structures
T_isError_736MAlonzo.Code.VerifiedCompilation.UntypedViews
T_isForce_268MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsGeneralMetric_308MAlonzo.Code.Function.Metric.Structures
T_IsGroupMorphism_880MAlonzo.Code.Algebra.Morphism
T_IsGroup_580MAlonzo.Code.Algebra.Structures
T_IsHeytingAlgebra_1468MAlonzo.Code.Relation.Binary.Lattice
T_IsIdempotentCommutativeMonoidMorphism_678MAlonzo.Code.Algebra.Morphism
T_IsIdempotentCommutativeMonoid_464MAlonzo.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_468MAlonzo.Code.Function.Structures
T_IsJoinSemilattice_68MAlonzo.Code.Relation.Binary.Lattice
T_isLambda_54MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsLattice_740MAlonzo.Code.Algebra.Structures
T_IsLattice_810MAlonzo.Code.Relation.Binary.Lattice
T_IsLeftInverse_312MAlonzo.Code.Function.Structures
T_IsMagma_86MAlonzo.Code.Algebra.Structures
T_IsMeetSemilattice_438MAlonzo.Code.Relation.Binary.Lattice
T_IsMonoidMorphism_298MAlonzo.Code.Algebra.Morphism
T_IsMonoid_358MAlonzo.Code.Algebra.Structures
T_IsNearSemiring_876MAlonzo.Code.Algebra.Structures
T_IsPartialEquivalence_16MAlonzo.Code.Relation.Binary.Structures
T_IsPartialOrder_162MAlonzo.Code.Relation.Binary.Structures
T_IsPreMetric_96MAlonzo.Code.Function.Metric.Structures
T_IsPreorder_70MAlonzo.Code.Relation.Binary.Structures
T_IsProtoMetric_30MAlonzo.Code.Function.Metric.Structures
T_IsQuasiSemiMetric_162MAlonzo.Code.Function.Metric.Structures
T_IsRightInverse_390MAlonzo.Code.Function.Structures
T_IsRingMorphism_1516MAlonzo.Code.Algebra.Morphism
T_IsRingWithoutAnnihilatingZero_1884MAlonzo.Code.Algebra.Structures.Biased
T_IsRing_1584MAlonzo.Code.Algebra.Structures
T_IsSelectiveMagma_158MAlonzo.Code.Algebra.Structures
T_IsSemigroupMorphism_148MAlonzo.Code.Algebra.Morphism
T_IsSemigroup_194MAlonzo.Code.Algebra.Structures
T_IsSemilattice_312MAlonzo.Code.Algebra.Structures
T_IsSemiMetric_232MAlonzo.Code.Function.Metric.Structures
T_IsSemiringWithoutAnnihilatingZero_1142MAlonzo.Code.Algebra.Structures
T_IsSemiringWithoutOne_952MAlonzo.Code.Algebra.Structures
T_IsSemiring_1238MAlonzo.Code.Algebra.Structures
T_IsStrictPartialOrder_266MAlonzo.Code.Relation.Binary.Structures
T_IsStrictTotalOrder_502MAlonzo.Code.Relation.Binary.Structures
T_IsStrict_92MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
T_IsSurjection_162MAlonzo.Code.Function.Structures
T_isTerm_772MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsTotalOrder_384MAlonzo.Code.Relation.Binary.Structures
T_IsTotalPreorder_118MAlonzo.Code.Relation.Binary.Structures
T_isVar_14MAlonzo.Code.VerifiedCompilation.UntypedViews
T_JoinSemilattice_170MAlonzo.Code.Relation.Binary.Lattice
T_K'38'__56MAlonzo.Code.Data.Tree.AVL.Value
T_Kind_476MAlonzo.Code.Utils
T_Kind_52MAlonzo.Code.Function.Related
T_Lattice_1144MAlonzo.Code.Algebra.Bundles
T_Lattice_898MAlonzo.Code.Relation.Binary.Lattice
T_LeftInverse_82MAlonzo.Code.Function.LeftInverse
T_LeftInverse_942MAlonzo.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'_24MAlonzo.Code.Data.List.NonEmpty.Base
T_List_10MAlonzo.Code.Agda.Builtin.List
T_List_382MAlonzo.Code.Utils
T_Literal_124MAlonzo.Code.Agda.Builtin.Reflection
T_MachineParameters_46MAlonzo.Code.Cost.Base
T_Magma_36MAlonzo.Code.Algebra.Bundles
T_MaxOperator_114MAlonzo.Code.Algebra.Construct.NaturalChoice.Base
T_Maybe_10MAlonzo.Code.Agda.Builtin.Maybe
T_MeetSemilattice_540MAlonzo.Code.Relation.Binary.Lattice
T_Metric_364MAlonzo.Code.Function.Metric.Nat.Bundles
T_MinOperator_84MAlonzo.Code.Algebra.Construct.NaturalChoice.Base
T_Modality_68MAlonzo.Code.Agda.Builtin.Reflection
T_Monad_186MAlonzo.Code.Utils
T_Monoid_506MAlonzo.Code.Algebra.Bundles
T_Morphism_274MAlonzo.Code.Category.Applicative.Indexed
T_Morphism_54MAlonzo.Code.Category.Functor
T_Nat_6MAlonzo.Code.Agda.Builtin.Nat
T_NearSemiring_1354MAlonzo.Code.Algebra.Bundles
T_NonEmpty_316MAlonzo.Code.Relation.Binary.Definitions
T_OneVariableQuadraticFunction_44MAlonzo.Code.Cost.Raw
T_Ordering_252MAlonzo.Code.Data.Nat.Base
T_Ordering_504MAlonzo.Code.Data.Fin.Base
T_ParseError_4MAlonzo.Code.Evaluator.Base
T_PartialSetoid_10MAlonzo.Code.Relation.Binary.Bundles
T_Pattern_158MAlonzo.Code.Agda.Builtin.Reflection
T_Pointwise_34MAlonzo.Code.Data.Sum.Relation.Binary.Pointwise
T_Pointwise_48MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base
T_Poset_282MAlonzo.Code.Relation.Binary.Bundles
T_Precedence_22MAlonzo.Code.Agda.Builtin.Reflection
T_PreMetric_90MAlonzo.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_Proof_466MAlonzo.Code.VerifiedCompilation
T_ProtoMetric_12MAlonzo.Code.Function.Metric.Nat.Bundles
T_pureFD_8MAlonzo.Code.VerifiedCompilation.UForceDelay
T_Quantity_62MAlonzo.Code.Agda.Builtin.Reflection
T_QuasiSemiMetric_174MAlonzo.Code.Function.Metric.Nat.Bundles
T_RawComonad_22MAlonzo.Code.Category.Comonad
T_RawFunctor_24MAlonzo.Code.Category.Functor
T_RawGroup_852MAlonzo.Code.Algebra.Bundles
T_RawIAlternative_210MAlonzo.Code.Category.Applicative.Indexed
T_RawIApplicativeZero_156MAlonzo.Code.Category.Applicative.Indexed
T_RawIApplicative_38MAlonzo.Code.Category.Applicative.Indexed
T_RawIMonadPlus_240MAlonzo.Code.Category.Monad.Indexed
T_RawIMonadZero_174MAlonzo.Code.Category.Monad.Indexed
T_RawIMonad_32MAlonzo.Code.Category.Monad.Indexed
T_RawLattice_1110MAlonzo.Code.Algebra.Bundles
T_RawMagma_8MAlonzo.Code.Algebra.Bundles
T_RawModel_108MAlonzo.Code.Cost.Raw
T_RawMonoid_474MAlonzo.Code.Algebra.Bundles
T_RawNearSemiring_1314MAlonzo.Code.Algebra.Bundles
T_RawRing_2460MAlonzo.Code.Algebra.Bundles
T_RawSemiring_1738MAlonzo.Code.Algebra.Bundles
T_RawTm_30MAlonzo.Code.Raw
T_RawTyCon_4MAlonzo.Code.Raw
T_RawTy_2MAlonzo.Code.Raw
T_ReflClosure_30MAlonzo.Code.Relation.Binary.Construct.Closure.Reflexive
T_Reflects_14MAlonzo.Code.Relation.Nullary
T_Relevance_56MAlonzo.Code.Agda.Builtin.Reflection
T_Reveal_'183'_is__86MAlonzo.Code.Relation.Binary.PropositionalEquality
T_RightInverse_1020MAlonzo.Code.Function.Bundles
T_Ring_2514MAlonzo.Code.Algebra.Bundles
T_RuntimeError_348MAlonzo.Code.Utils
T_ScopedTm_522MAlonzo.Code.Scoped
T_ScopedTy_14MAlonzo.Code.Scoped
T_ScopeError_576MAlonzo.Code.Scoped
T_SelectiveMagma_90MAlonzo.Code.Algebra.Bundles
T_Semigroup_206MAlonzo.Code.Algebra.Bundles
T_Semilattice_402MAlonzo.Code.Algebra.Bundles
T_SemiMetric_266MAlonzo.Code.Function.Metric.Nat.Bundles
T_SemiringWithoutAnnihilatingZero_1786MAlonzo.Code.Algebra.Bundles
T_SemiringWithoutOne_1464MAlonzo.Code.Algebra.Bundles
T_Semiring_1932MAlonzo.Code.Algebra.Bundles
T_Setoid_44MAlonzo.Code.Relation.Binary.Bundles
T_SignAbs_202MAlonzo.Code.Data.Integer.Base
T_Sign_6MAlonzo.Code.Data.Sign.Base
T_SigTy_260MAlonzo.Code.Builtin.Signature
T_Sig_68MAlonzo.Code.Builtin.Signature
T_SimplifierTag_2MAlonzo.Code.VerifiedCompilation
T_SnocView_274MAlonzo.Code.Data.List.NonEmpty.Base
T_Sort_156MAlonzo.Code.Agda.Builtin.Reflection
T_Stack_1166MAlonzo.Code.Algorithmic.CEK
T_Stack_18MAlonzo.Code.Algorithmic.CK
T_Stack_6MAlonzo.Code.Untyped.CEK
T_State_1180MAlonzo.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_472MAlonzo.Code.Relation.Binary.Bundles
T_StrictTotalOrder_864MAlonzo.Code.Relation.Binary.Bundles
T_String_6MAlonzo.Code.Agda.Builtin.String
T_Surjection_54MAlonzo.Code.Function.Surjection
T_Surjection_774MAlonzo.Code.Function.Bundles
T_Surjective_18MAlonzo.Code.Function.Surjection
T_Symmetric'45'kind_142MAlonzo.Code.Function.Related
T_TagCon_58MAlonzo.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_804MAlonzo.Code.VerifiedCompilation.UntypedViews
T_These_38MAlonzo.Code.Data.These.Base
T_TmCon_198MAlonzo.Code.RawU
T_TotalOrder_652MAlonzo.Code.Relation.Binary.Bundles
T_TotalPreorder_204MAlonzo.Code.Relation.Binary.Bundles
T_Trace_82MAlonzo.Code.VerifiedCompilation
T_Transformation_16MAlonzo.Code.VerifiedCompilation
T_Translation_16MAlonzo.Code.VerifiedCompilation.UntypedTranslation
T_Tree_166MAlonzo.Code.Data.Tree.AVL.Indexed
T_Tree_240MAlonzo.Code.Data.Tree.AVL
T_Tri_136MAlonzo.Code.Relation.Binary.Definitions
T_TwoVariableLinearFunction_60MAlonzo.Code.Cost.Raw
T_TwoVariableQuadraticFunction_76MAlonzo.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_468MAlonzo.Code.Function.Metric.Nat.Bundles
T_Untyped_146MAlonzo.Code.RawU
T_UPure_6MAlonzo.Code.VerifiedCompilation.Purity
T_Value_14MAlonzo.Code.Untyped.CEK
T_Value_28MAlonzo.Code.Algorithmic.ReductionEC
T_Value_38MAlonzo.Code.Data.Tree.AVL.Value
T_Value_52MAlonzo.Code.Algorithmic.CEK
T_Vec'8804'_122MAlonzo.Code.Data.Vec.Bounded.Base
T_Vec_24MAlonzo.Code.Data.Vec.Base
T_Visibility_48MAlonzo.Code.Agda.Builtin.Reflection
T_WeirdFin_56MAlonzo.Code.Scoped
T_Weirdℕ_42MAlonzo.Code.Scoped
T_Writer_304MAlonzo.Code.Utils
T__'10216''91''8801''93''10217'β__8MAlonzo.Code.Type.Equality
T__'215'__364MAlonzo.Code.Utils
T__'47'_'8866''8902'_22MAlonzo.Code.Builtin.Signature
T__'47'_'8866'r'8902'_60MAlonzo.Code.Builtin.Signature
T__'60''8314'__20MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.Strict
T__'60''8314'__340MAlonzo.Code.Induction.WellFounded
T__'60''8331'__20MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.Strict
T__'60'__18MAlonzo.Code.Data.Bool.Base
T__'60'__430MAlonzo.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__'8592'__12MAlonzo.Code.Function.Related
T__'8610'__36MAlonzo.Code.Function.Related
T__'8715''8902'__14MAlonzo.Code.Type
T__'8715'__16MAlonzo.Code.Algorithmic
T__'8715'__34MAlonzo.Code.Declarative
T__'8724'_'8803'__120MAlonzo.Code.Utils
T__'8739'__12MAlonzo.Code.Data.Nat.Divisibility.Core
T__'8764'_'8852'__30MAlonzo.Code.Data.Tree.AVL.Height
T__'8771'__12MAlonzo.Code.Function.HalfAdjointEquivalence
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'__154MAlonzo.Code.Data.Nat.Base
T__'8804''8243'__188MAlonzo.Code.Data.Nat.Base
T__'8804''8244'__222MAlonzo.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'__10 
1 (Type/Class)MAlonzo.Code.Data.Unit.Base
2 (Type/Class)MAlonzo.Code.Data.Bool.Base
T__'8804'__18MAlonzo.Code.Data.Nat.Base
T__'8804'__26MAlonzo.Code.Data.Integer.Base
T__'8826'__494MAlonzo.Code.Data.Fin.Base
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'__168MAlonzo.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__InverseOf__20MAlonzo.Code.Function.Inverse
T__IsRelatedTo__26MAlonzo.Code.Relation.Binary.Reasoning.Base.Single
T__IsRelatedTo__56MAlonzo.Code.Relation.Binary.Reasoning.Base.Double
T__IsRelatedTo__70MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple
T_Π_16MAlonzo.Code.Function.Equality
T_Σ_14MAlonzo.Code.Agda.Builtin.Sigma