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_'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_Alignment_92MAlonzo.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_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_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_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_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_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_BuiltinModel_60MAlonzo.Code.Cost.Model
T_Builtin_2MAlonzo.Code.Builtin
T_Bwd_6MAlonzo.Code.Utils.List
T_ByteString_356MAlonzo.Code.Utils
T_CancellativeCommutativeSemiring_2632MAlonzo.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_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_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_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_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_ErrorPart_308MAlonzo.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_52MAlonzo.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_10MAlonzo.Code.Data.Fin.Base
T_Fixity_28MAlonzo.Code.Agda.Builtin.Reflection
T_FlD_474MAlonzo.Code.VerifiedCompilation.UFloatDelay
T_FlexibleMagma_358MAlonzo.Code.Algebra.Bundles
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_ForwardKind_94MAlonzo.Code.Function.Related.Propositional
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_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_HCekMachineCosts_4MAlonzo.Code.Cost.Raw
T_HExBudget_6MAlonzo.Code.Cost.Raw
T_HeytingAlgebra_750MAlonzo.Code.Relation.Binary.Lattice.Bundles
T_HsEq_260MAlonzo.Code.VerifiedCompilation.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_InitLast_474MAlonzo.Code.Data.List.Base
T_Injection_776MAlonzo.Code.Function.Bundles
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_142MAlonzo.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_698MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsCancellativeCommutativeSemiring_1798MAlonzo.Code.Algebra.Structures
T_isCase_574MAlonzo.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_478MAlonzo.Code.VerifiedCompilation.UntypedViews
T_isCon_438MAlonzo.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_354MAlonzo.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_736MAlonzo.Code.VerifiedCompilation.UntypedViews
T_IsFlexibleMagma_324MAlonzo.Code.Algebra.Structures
T_isForce_268MAlonzo.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_54MAlonzo.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_772MAlonzo.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_14MAlonzo.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_476MAlonzo.Code.Utils
T_Kind_6MAlonzo.Code.Function.Related.Propositional
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_382MAlonzo.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_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_186MAlonzo.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_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_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_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_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_108MAlonzo.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_30MAlonzo.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_348MAlonzo.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_260MAlonzo.Code.Builtin.Signature
T_Sig_68MAlonzo.Code.Builtin.Signature
T_SimplifierTag_2MAlonzo.Code.VerifiedCompilation
T_SnocView_304MAlonzo.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_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_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_764MAlonzo.Code.Relation.Binary.Bundles
T_TotalPreorder_222MAlonzo.Code.Relation.Binary.Bundles
T_Trace_82MAlonzo.Code.VerifiedCompilation
T_Transformation_16MAlonzo.Code.VerifiedCompilation
T_Translation_16MAlonzo.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_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_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'_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_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'__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__'8715''8902'__14MAlonzo.Code.Type
T__'8715'__16MAlonzo.Code.Algorithmic
T__'8715'__34MAlonzo.Code.Declarative
T__'8724'_'8803'__120MAlonzo.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__'8764'_'8852'__30MAlonzo.Code.Data.Tree.AVL.Height
T__'8771'__24MAlonzo.Code.Function.Properties.Inverse.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'__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__'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__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_Σ_14MAlonzo.Code.Agda.Builtin.Sigma