| tabulateArray | PlutusPrelude |
| Tag | MAlonzo.Code.RawU |
| TagBLS12_381_G1_Element | MAlonzo.Code.RawU |
| TagBLS12_381_G2_Element | MAlonzo.Code.RawU |
| TagBLS12_381_MlResult | MAlonzo.Code.RawU |
| TagBool | MAlonzo.Code.RawU |
| TagBS | MAlonzo.Code.RawU |
| TagCon | |
| 1 (Type/Class) | MAlonzo.Code.RawU |
| 2 (Data Constructor) | MAlonzo.Code.RawU |
| TagData | MAlonzo.Code.RawU |
| TagInt | MAlonzo.Code.RawU |
| TagList | MAlonzo.Code.RawU |
| TagPair | MAlonzo.Code.RawU |
| TagStr | MAlonzo.Code.RawU |
| TagUnit | MAlonzo.Code.RawU |
| tagWithParamNames | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V3.ParamName |
| tail | |
| 1 (Function) | PlutusTx.Builtins.Internal, PlutusTx.Builtins |
| 2 (Function) | PlutusTx.List, PlutusTx.Prelude |
| tailEmptyListError | PlutusTx.ErrorCodes |
| TailList | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| TailList'cpu'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| TailList'memory'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| take | PlutusTx.List, PlutusTx.Prelude |
| takeByteString | PlutusTx.Prelude |
| Tallying | Opts |
| tallying | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| tallyingbudget | Opts |
| TallyingSt | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| tccBuiltinTypes | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| tccKindCheckConfig | PlutusCore.TypeCheck.Internal |
| tcClsName | OccName, GhcPlugins |
| TCEK | Opts |
| tceTypeCheckConfig | PlutusCore.TypeCheck.Internal |
| tceTyVarKinds | PlutusCore.TypeCheck.Internal |
| tceVarTypes | PlutusCore.TypeCheck.Internal |
| TcGblEnv | OccName, GhcPlugins |
| TcGblEnv_ | OccName, GhcPlugins |
| TCK | Opts |
| TcM | OccName, GhcPlugins |
| TcM_ | OccName, GhcPlugins |
| TCOpts | Opts |
| TcPlugin | TcRnTypes |
| tcPlugin | Plugins, GhcPlugins |
| TcRn | OccName, GhcPlugins |
| Term | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Type/Class) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| term | UntypedPlutusCore.Parser |
| termAnn | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| termBinds | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core, UntypedPlutusCore |
| TermDef | PlutusCore.MkPlc |
| termDefs | PlutusCore.Analysis.Definitions |
| termEvaluationOrder | UntypedPlutusCore.Purity |
| Terminating | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| termLet | PlutusCore.MkPlc |
| TermLike | PlutusCore.MkPlc |
| termMapNames | |
| 1 (Function) | PlutusCore.Subst, PlutusCore |
| 2 (Function) | UntypedPlutusCore |
| TermName | PlutusCore.Check.Scoping |
| TermParam | PlutusCore.Arity |
| TermScope | PlutusCore.Analysis.Definitions |
| termSize | |
| 1 (Function) | PlutusCore.Size, PlutusCore |
| 2 (Function) | UntypedPlutusCore |
| termSubkinds | PlutusCore.Core, PlutusCore.Builtin.Debug |
| termSubstClosedTerm | PlutusCore.Subst |
| termSubstClosedType | PlutusCore.Subst |
| termSubstNames | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| termSubstNamesM | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| termSubstTyNames | PlutusCore.Subst |
| termSubstTyNamesM | PlutusCore.Subst |
| termSubterms | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core, UntypedPlutusCore |
| termSubtermsDeep | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core, UntypedPlutusCore |
| termSubtypes | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| termSubtypesDeep | PlutusCore.Core, PlutusCore.Builtin.Debug |
| termTagWidth | UntypedPlutusCore.Core, UntypedPlutusCore |
| termTyBinds | 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, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core, UntypedPlutusCore |
| termUniquesDeep | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core, UntypedPlutusCore |
| termVars | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core, UntypedPlutusCore |
| TestTypesFromTheUniverseAreAllKnown | PlutusCore.Builtin |
| text | OccName, GhcPlugins |
| That | PlutusTx.These |
| These | |
| 1 (Type/Class) | PlutusTx.These |
| 2 (Data Constructor) | PlutusTx.These |
| these | PlutusTx.These |
| theseWithDefault | PlutusTx.These |
| theText | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| theUnique | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| This | PlutusTx.These |
| thNameToGhcName | OccName, GhcPlugins |
| through | PlutusPrelude |
| throw | PlutusPrelude |
| ThrowableBuiltins | PlutusCore.Pretty, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| throwBuiltinErrorWithCause | PlutusCore.Builtin |
| throwGhcExceptionIO | OccName, GhcPlugins |
| throwing | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| throwingEither | PlutusCore.Error |
| throwingWithCause | PlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception |
| throwing_ | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| throwNotAConstant | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| ThrowOnBothEmpty | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| Tick | OccName, GhcPlugins |
| Tickish | OccName, GhcPlugins |
| timesA | PlutusPrelude |
| title | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
| TL | Opts |
| tmnames | |
| 1 (Function) | Raw |
| 2 (Function) | Untyped |
| to | |
| 1 (Function) | PlutusCore.Check.Scoping |
| 2 (Function) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| ToBinds | PlutusCore.Builtin, PlutusCore.Builtin |
| ToBuiltin | PlutusTx.Builtins.Class |
| toBuiltin | PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusTx.Builtins.Class, PlutusTx.Builtins, PlutusTx.Prelude |
| toBuiltinData | PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx |
| ToBuiltinMeaning | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toBuiltinMeaning | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toBuiltinRuntime | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toBuiltinsRuntime | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toCekCostModel | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
| toCostModelParams | PlutusLedgerApi.Common |
| ToData | PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx |
| toData | PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx |
| toDigits | PlutusTx.Show |
| toEnum | PlutusTx.Enum, PlutusTx.Prelude |
| toEnumBoolBadArgumentError | PlutusTx.ErrorCodes |
| toEnumOrderingBadArgumentError | PlutusTx.ErrorCodes |
| toEnumVoidBadArgumentError | PlutusTx.ErrorCodes |
| toErrorB | PlutusCore.Parser |
| toFake | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn |
| toGHC | PlutusLedgerApi.V3, PlutusTx.Ratio |
| ToHoles | 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 |
| tokenName | PlutusLedgerApi.V1.Value |
| ToKind | PlutusCore.Builtin, PlutusCore.TypeCheck, PlutusCore |
| toList | |
| 1 (Function) | PlutusPrelude |
| 2 (Function) | PlutusTx.Foldable, PlutusTx.Prelude |
| 3 (Function) | PlutusTx.AssocMap |
| toMachineParameters | PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext |
| toMonoF | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| top | PlutusTx.Lattice, PlutusTx.Prelude |
| toPatFuncKind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| topFixity | PlutusCore.Pretty |
| toPolyF | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| topPrettyConfigReadable | PlutusCore.Pretty |
| topRenderContext | PlutusCore.Pretty |
| toPrettyConfigName | PlutusCore.Pretty |
| toPrintedName | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| toPubKeyHash | PlutusLedgerApi.V1.Address |
| ToScopedName | PlutusCore.Check.Scoping |
| toScopedName | PlutusCore.Check.Scoping |
| toScriptHash | PlutusLedgerApi.V1.Address |
| toSimpleBuiltinCostModel | PlutusCore.Evaluation.Machine.SimpleBuiltinCostModel |
| toSingKind | PlutusCore.Builtin |
| toSrcSpan | PlutusCore.Parser |
| toString | PlutusLedgerApi.V1.Value |
| TotalCountIndex | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| ToTheLeft | PlutusCore.Pretty |
| ToTheRight | PlutusCore.Pretty |
| toTypeAst | PlutusCore.Builtin |
| Trace | PlutusCore.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 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| Trace'memory'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| traceAll | PlutusTx.Builtins.Internal |
| traceBool | PlutusTx.Trace, PlutusTx.Prelude |
| traceError | PlutusTx.Trace, PlutusTx.Prelude |
| traceIfFalse | PlutusTx.Trace, PlutusTx.Prelude |
| traceIfTrue | PlutusTx.Trace, PlutusTx.Prelude |
| traceShowId | PlutusPrelude |
| TrackCosts | PlutusCore.Examples.Builtins |
| trailingWhitespace | PlutusCore.Parser |
| transferArgStack | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| Traversable | PlutusTx.Traversable, PlutusTx.Prelude |
| traverse | PlutusTx.Traversable, PlutusTx.Prelude |
| traverse_ | PlutusTx.Foldable, PlutusTx.Prelude |
| TreasuryWithdrawals | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| treeData | PlutusCore.Examples.Data.TreeForest |
| treeFolderContents | PlutusCore.FsTree |
| treeNode | PlutusCore.Examples.Data.TreeForest |
| True | PlutusTx.Bool, PlutusTx.Prelude |
| true | |
| 1 (Function) | PlutusCore.StdLib.Data.Bool |
| 2 (Function) | PlutusTx.Builtins.Internal |
| trueDataCon | OccName, GhcPlugins |
| truncate | PlutusTx.Ratio |
| truncateDouble | MAlonzo.RTE.Float |
| tryError | PlutusPrelude |
| tryUniApply | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| Tuple | |
| 1 (Type/Class) | PlutusCore.StdLib.Meta.Data.Tuple |
| 2 (Data Constructor) | PlutusCore.StdLib.Meta.Data.Tuple |
| tupleDefAt | PlutusCore.StdLib.Meta.Data.Tuple |
| tupleTermAt | PlutusCore.StdLib.Meta.Data.Tuple |
| TupleTyCon | OccName, GhcPlugins |
| tupleTypeTermAt | PlutusCore.StdLib.Meta.Data.Tuple |
| tvTerm | PlutusCore.Subst |
| tvTy | PlutusCore.Subst |
| TwoVariableLinearFunction | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableLinearFunctionIntercept | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableLinearFunctionSlopeX | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableLinearFunctionSlopeY | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| TxCert | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertAuthHotCommittee | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertDelegStaking | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertPoolRegister | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertPoolRetire | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertRegDeleg | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertRegDRep | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertRegStaking | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertResignColdCommittee | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertUnRegDRep | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertUnRegStaking | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertUpdateDRep | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxId | |
| 1 (Type/Class) | PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Tx, PlutusLedgerApi.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 |
| 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 |
| txInfoCurrentTreasuryAmount | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoData | |
| 1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoDCert | |
| 1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| txInfoFee | |
| 1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoId | |
| 1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoInputs | |
| 1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoMint | |
| 1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoOutputs | |
| 1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoProposalProcedures | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoRedeemers | |
| 1 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 2 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoReferenceInputs | |
| 1 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 2 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoSignatories | |
| 1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoTreasuryDonation | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoTxCerts | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoValidRange | |
| 1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoVotes | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoWdrl | |
| 1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.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 |
| txInInfoOutRef | |
| 1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInInfoResolved | |
| 1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.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 |
| txOutAddress | |
| 1 (Function) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| txOutDatum | |
| 1 (Function) | PlutusLedgerApi.V1.Tx |
| 2 (Function) | PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| txOutDatumHash | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| txOutPubKey | |
| 1 (Function) | PlutusLedgerApi.V1.Tx |
| 2 (Function) | PlutusLedgerApi.V2.Tx |
| TxOutRef | |
| 1 (Type/Class) | PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Tx, PlutusLedgerApi.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 |
| txOutReferenceScript | PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| txOutRefId | |
| 1 (Function) | PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3 |
| 2 (Function) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
| txOutRefIdx | |
| 1 (Function) | PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3 |
| 2 (Function) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
| txOutValue | |
| 1 (Function) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| txSignedBy | |
| 1 (Function) | PlutusLedgerApi.V1.Contexts |
| 2 (Function) | PlutusLedgerApi.V2.Contexts |
| 3 (Function) | PlutusLedgerApi.V3.Contexts |
| TyAbs | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyAbs | PlutusCore.MkPlc |
| TyApp | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyAppRep | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| TyBuiltin | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyCoBinder | OccName, GhcPlugins |
| TyCoBinder_ | OccName, GhcPlugins |
| TyCon | OccName, GhcPlugins |
| tyConAppTyCon_maybe | OccName, GhcPlugins |
| tyConKind | OccName, GhcPlugins |
| tyConsOfType | OccName, GhcPlugins |
| tyConTyVars | OccName, GhcPlugins |
| TyCon_ | OccName, GhcPlugins |
| 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, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| tyDeclAnn | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyDeclKind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyDeclType | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyDeclVar | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| TyForall | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyForallRep | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| TyFun | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyIFix | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyInst | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyInst | PlutusCore.MkPlc |
| TyLam | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyName | |
| 1 (Type/Class) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| tyName | PlutusCore.Parser |
| TyNameMismatch | PlutusCore.Error |
| TyNameRep | |
| 1 (Type/Class) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| tynames | Raw |
| tyNameToDeBruijn | PlutusCore.DeBruijn.Internal |
| Type | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 3 (Data Constructor) | OccName, GhcPlugins |
| 4 (Type/Class) | OccName, GhcPlugins |
| Typeable | |
| 1 (Type/Class) | PlutusPrelude, PlutusCore.Builtin |
| 2 (Type/Class) | PlutusTx.Lift.Class, PlutusTx |
| typeAnn | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| Typecheck | Opts |
| Typecheckable | PlutusCore.TypeCheck, PlutusCore |
| typeCheckAgainst | PlutusTx.Lift |
| TypeCheckConfig | |
| 1 (Type/Class) | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| 2 (Data Constructor) | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| typeCheckConfig | PlutusCore.TypeCheck.Internal |
| TypeCheckEnv | |
| 1 (Type/Class) | PlutusCore.TypeCheck.Internal |
| 2 (Data Constructor) | PlutusCore.TypeCheck.Internal |
| TypecheckOptions | Opts |
| typecheckOpts | Opts |
| typeCheckResultAction | Plugins, GhcPlugins |
| TypeCheckT | PlutusCore.TypeCheck.Internal |
| typeCode | PlutusTx.Lift |
| TypeDef | PlutusCore.MkPlc |
| TypeError | |
| 1 (Type/Class) | PlutusCore.Error, PlutusCore |
| 2 (Data Constructor) | Raw |
| TypeErrorE | PlutusCore.Error, PlutusCore |
| TypeHole | PlutusCore.Builtin |
| typeLet | PlutusCore.MkPlc |
| typeMapNames | PlutusCore.Subst, PlutusCore |
| TypeMismatch | PlutusCore.Error |
| TypeName | PlutusCore.Check.Scoping |
| typeOfBuiltinFunction | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| TypeParam | PlutusCore.Arity |
| TypeRenaming | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| typeRep | PlutusTx.Lift.Class |
| TypeScheme | PlutusCore.Builtin |
| TypeSchemeAll | PlutusCore.Builtin |
| typeSchemeArity | PlutusCore.Arity |
| TypeSchemeArrow | PlutusCore.Builtin |
| TypeSchemeResult | PlutusCore.Builtin |
| typeSchemeToType | PlutusCore.Builtin |
| TypeScope | PlutusCore.Analysis.Definitions |
| typeSize | PlutusCore.Size, PlutusCore |
| typeSubkinds | PlutusCore.Core, PlutusCore.Builtin.Debug |
| typeSubstClosedType | PlutusCore.Subst |
| typeSubstTyNames | PlutusCore.Subst |
| typeSubstTyNamesM | PlutusCore.Subst |
| typeSubtypes | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| typeSubtypesDeep | PlutusCore.Core, PlutusCore.Builtin.Debug |
| typeTyBinds | PlutusCore.Core, PlutusCore.Builtin.Debug |
| typeTyVars | 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 |
| typeUniques | PlutusCore.Core, PlutusCore.Builtin.Debug |
| typeUniquesDeep | PlutusCore.Core, PlutusCore.Builtin.Debug |
| Type_ | OccName, GhcPlugins |
| TySOP | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyThing | OccName, GhcPlugins |
| tyThingId | OccName, GhcPlugins |
| tyThingTyCon | OccName, GhcPlugins |
| TyThing_ | OccName, GhcPlugins |
| TyVar | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Type/Class) | OccName, GhcPlugins |
| TyVarDecl | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| tyVarDeclAnn | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclKind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclName | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclSize | PlutusCore.Size |
| tyVarDeclSubkinds | PlutusCore.Core, PlutusCore.Builtin.Debug |
| tyVarKind | OccName, GhcPlugins |
| TyVarKinds | PlutusCore.TypeCheck.Internal |
| TyVarRep | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| tzip | UntypedPlutusCore.Core.Zip |
| tzipWith | UntypedPlutusCore.Core.Zip |
| T_'8868'_6 | MAlonzo.Code.Agda.Builtin.Unit |
| T_'8869'_4 | MAlonzo.Code.Data.Empty |
| T_'9839'Kinded_40 | MAlonzo.Code.Algorithmic |
| T_AbelianGroup_990 | MAlonzo.Code.Algebra.Bundles |
| T_Abs_112 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Acc_42 | MAlonzo.Code.Induction.WellFounded |
| T_Alignment_140 | MAlonzo.Code.Data.String.Base |
| T_AllPairs_20 | MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core |
| T_All_18 | MAlonzo.Code.Data.Maybe.Relation.Unary.All |
| T_All_44 | MAlonzo.Code.Data.List.Relation.Unary.All |
| T_Any_18 | MAlonzo.Code.Data.Maybe.Relation.Unary.Any |
| T_Any_34 | MAlonzo.Code.Data.List.Relation.Unary.Any |
| T_ArgChunk_4 | MAlonzo.Code.Text.Format |
| T_ArgInfo_76 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Arg_88 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Associativity_14 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_AtomicTyCon_6 | MAlonzo.Code.Builtin.Constant.AtomicType |
| T_Backward'45'kind_178 | MAlonzo.Code.Function.Related |
| T_Band_266 | MAlonzo.Code.Algebra.Bundles |
| T_BApp_42 | MAlonzo.Code.Untyped.CEK |
| T_BApp_48 | MAlonzo.Code.Algorithmic.CEK |
| T_BApp_74 | MAlonzo.Code.Algorithmic.ReductionEC |
| T_BiEquivalence_1138 | MAlonzo.Code.Function.Bundles |
| T_BiInverse_1164 | MAlonzo.Code.Function.Bundles |
| T_Bijection_64 | MAlonzo.Code.Function.Bijection |
| T_Bijection_842 | MAlonzo.Code.Function.Bundles |
| T_Bijective_18 | MAlonzo.Code.Function.Bijection |
| T_Blocker_100 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Bls12'45'381'45'G1'45'Element_462 | MAlonzo.Code.Utils |
| T_Bls12'45'381'45'G2'45'Element_464 | MAlonzo.Code.Utils |
| T_Bls12'45'381'45'MlResult_466 | MAlonzo.Code.Utils |
| T_BooleanAlgebra_1878 | MAlonzo.Code.Relation.Binary.Lattice |
| T_BooleanAlgebra_2920 | MAlonzo.Code.Algebra.Bundles |
| T_Bool_6 | MAlonzo.Code.Agda.Builtin.Bool |
| T_BoundedJoinSemilattice_336 | MAlonzo.Code.Relation.Binary.Lattice |
| T_BoundedLattice_1324 | MAlonzo.Code.Relation.Binary.Lattice |
| T_BoundedMeetSemilattice_706 | MAlonzo.Code.Relation.Binary.Lattice |
| T_BudgetMode_36 | MAlonzo.Code.Evaluator.Program |
| T_BuiltinModel_54 | MAlonzo.Code.Cost.Model |
| T_Builtin_2 | MAlonzo.Code.Builtin |
| T_Bwd_6 | MAlonzo.Code.Utils.List |
| T_ByteString_356 | MAlonzo.Code.Utils |
| T_CancellativeCommutativeSemiring_2276 | MAlonzo.Code.Algebra.Bundles |
| T_Cases_104 | MAlonzo.Code.Declarative |
| T_Cases_162 | MAlonzo.Code.Algorithmic |
| T_Char_6 | MAlonzo.Code.Agda.Builtin.Char |
| T_Chunk_60 | MAlonzo.Code.Text.Format.Generic |
| T_Clause_160 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Command_36 | MAlonzo.Code.Main |
| T_CommutativeMagma_148 | MAlonzo.Code.Algebra.Bundles |
| T_CommutativeMonoid_582 | MAlonzo.Code.Algebra.Bundles |
| T_CommutativeRing_2704 | MAlonzo.Code.Algebra.Bundles |
| T_CommutativeSemigroup_332 | MAlonzo.Code.Algebra.Bundles |
| T_CommutativeSemiringWithoutOne_1598 | MAlonzo.Code.Algebra.Bundles |
| T_CommutativeSemiring_2094 | MAlonzo.Code.Algebra.Bundles |
| T_CostingModel_8 | MAlonzo.Code.Cost.Model |
| T_CpuAndMemoryModel_92 | MAlonzo.Code.Cost.Raw |
| T_Ctx'8902'_2 | MAlonzo.Code.Type |
| T_Ctx_16 | MAlonzo.Code.Declarative |
| T_Ctx_2 | MAlonzo.Code.Algorithmic |
| T_DATA_448 | MAlonzo.Code.Utils |
| T_DecPoset_360 | MAlonzo.Code.Relation.Binary.Bundles |
| T_DecSetoid_84 | MAlonzo.Code.Relation.Binary.Bundles |
| T_DecStrictPartialOrder_546 | MAlonzo.Code.Relation.Binary.Bundles |
| T_DecTotalOrder_740 | MAlonzo.Code.Relation.Binary.Bundles |
| T_Dec_32 | MAlonzo.Code.Relation.Nullary |
| T_Definition_280 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_DistributiveLattice_1098 | MAlonzo.Code.Relation.Binary.Lattice |
| T_DistributiveLattice_1228 | MAlonzo.Code.Algebra.Bundles |
| T_DivMod_808 | MAlonzo.Code.Data.Nat.DivMod |
| T_EC_476 | MAlonzo.Code.Algorithmic.ReductionEC |
| T_Either_6 | MAlonzo.Code.Utils |
| T_Env_16 | MAlonzo.Code.Untyped.CEK |
| T_Env_26 | MAlonzo.Code.Algorithmic.CEK |
| T_Equivalence'45'kind_206 | MAlonzo.Code.Function.Related |
| T_Equivalence_16 | MAlonzo.Code.Function.Equivalence |
| T_Equivalence_924 | MAlonzo.Code.Function.Bundles |
| T_ErrorPart_306 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_ERROR_12 | MAlonzo.Code.Evaluator.Base |
| T_Error_338 | MAlonzo.Code.Algorithmic.ReductionEC |
| T_Error_82 | MAlonzo.Code.Text.Format.Generic |
| T_Error_956 | MAlonzo.Code.Algorithmic.CEK |
| T_Error_96 | MAlonzo.Code.Text.Printf.Generic |
| T_Esc_24 | MAlonzo.Code.RawU |
| T_EvalMode_46 | MAlonzo.Code.Evaluator.Program |
| T_EvalOptions_24 | MAlonzo.Code.Main |
| T_ExBudgetCategory_34 | MAlonzo.Code.Cost.Base |
| T_ExBudget_50 | MAlonzo.Code.Cost |
| T_FilePath_16 | MAlonzo.Code.Main |
| T_Finished_12 | MAlonzo.Code.Algorithmic.Evaluation |
| T_Fin_6 | MAlonzo.Code.Data.Fin.Base |
| T_Fixity_28 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Float_6 | MAlonzo.Code.Agda.Builtin.Float |
| T_FocusedProgDissect_28 | MAlonzo.Code.Algorithmic.ReductionEC.Progress |
| T_FormatSpec_6 | MAlonzo.Code.Text.Format.Generic |
| T_Format_14 | MAlonzo.Code.Evaluator.Program |
| T_Forward'45'kind_150 | MAlonzo.Code.Function.Related |
| T_Frame_196 | MAlonzo.Code.Untyped.CEK |
| T_Frame_352 | MAlonzo.Code.Algorithmic.ReductionEC |
| T_Frame_966 | MAlonzo.Code.Algorithmic.CEK |
| T_FreeVariableError_574 | MAlonzo.Code.Scoped |
| T_Func_642 | MAlonzo.Code.Function.Bundles |
| T_Gas_4 | MAlonzo.Code.Algorithmic.Evaluation |
| T_Group_890 | MAlonzo.Code.Algebra.Bundles |
| T_HCekMachineCosts_4 | MAlonzo.Code.Cost.Raw |
| T_HExBudget_6 | MAlonzo.Code.Cost.Raw |
| T_HeytingAlgebra_1602 | MAlonzo.Code.Relation.Binary.Lattice |
| T_IBwd_396 | MAlonzo.Code.Utils.List |
| T_IdempotentCommutativeMonoid_674 | MAlonzo.Code.Algebra.Bundles |
| T_IIBwd_832 | MAlonzo.Code.Utils.List |
| T_IIList_802 | MAlonzo.Code.Utils.List |
| T_IList_302 | MAlonzo.Code.Utils.List |
| T_IndexedPreorder_60 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles |
| T_IndexedSetoid_18 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles |
| T_InitLast_828 | MAlonzo.Code.Data.List.Base |
| T_Injection_704 | MAlonzo.Code.Function.Bundles |
| T_Injection_88 | MAlonzo.Code.Function.Injection |
| T_Input_16 | MAlonzo.Code.Evaluator.Program |
| T_Int_6 | MAlonzo.Code.Agda.Builtin.Int |
| T_Inverse_1048 | MAlonzo.Code.Function.Bundles |
| T_Inverse_58 | MAlonzo.Code.Function.Inverse |
| T_IO_8 | MAlonzo.Code.Agda.Builtin.IO |
| T_IsAbelianGroupMorphism_1144 | MAlonzo.Code.Algebra.Morphism |
| T_IsAbelianGroup_662 | MAlonzo.Code.Algebra.Structures |
| T_IsBand_230 | MAlonzo.Code.Algebra.Structures |
| T_IsBiEquivalence_554 | MAlonzo.Code.Function.Structures |
| T_IsBiInverse_636 | MAlonzo.Code.Function.Structures |
| T_IsBijection_232 | MAlonzo.Code.Function.Structures |
| T_IsBooleanAlgebra_1760 | MAlonzo.Code.Relation.Binary.Lattice |
| T_IsBooleanAlgebra_1864 | MAlonzo.Code.Algebra.Structures |
| T_IsBoundedJoinSemilattice_262 | MAlonzo.Code.Relation.Binary.Lattice |
| T_IsBoundedLattice_1226 | MAlonzo.Code.Relation.Binary.Lattice |
| T_IsBoundedMeetSemilattice_632 | MAlonzo.Code.Relation.Binary.Lattice |
| T_IsCancellativeCommutativeSemiring_1462 | MAlonzo.Code.Algebra.Structures |
| T_IsCommutativeMagma_122 | MAlonzo.Code.Algebra.Structures |
| T_IsCommutativeMonoid'691'_1568 | MAlonzo.Code.Algebra.Structures.Biased |
| T_IsCommutativeMonoid'737'_1514 | MAlonzo.Code.Algebra.Structures.Biased |
| T_IsCommutativeMonoidMorphism_482 | MAlonzo.Code.Algebra.Morphism |
| T_IsCommutativeMonoid_406 | MAlonzo.Code.Algebra.Structures |
| T_IsCommutativeRing_1720 | MAlonzo.Code.Algebra.Structures |
| T_IsCommutativeSemigroup_270 | MAlonzo.Code.Algebra.Structures |
| T_IsCommutativeSemiring'691'_1754 | MAlonzo.Code.Algebra.Structures.Biased |
| T_IsCommutativeSemiring'737'_1626 | MAlonzo.Code.Algebra.Structures.Biased |
| T_IsCommutativeSemiringWithoutOne_1044 | MAlonzo.Code.Algebra.Structures |
| T_IsCommutativeSemiring_1344 | MAlonzo.Code.Algebra.Structures |
| T_IsCongruent_22 | MAlonzo.Code.Function.Structures |
| T_IsDecEquivalence_44 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsDecPartialOrder_206 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsDecStrictPartialOrder_314 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsDecTotalOrder_434 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsDistributiveLattice_1012 | MAlonzo.Code.Relation.Binary.Lattice |
| T_IsDistributiveLattice_814 | MAlonzo.Code.Algebra.Structures |
| T_IsEquality_126 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple |
| T_IsEquality_74 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Double |
| T_IsEquivalence_26 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsGeneralMetric_308 | MAlonzo.Code.Function.Metric.Structures |
| T_IsGroupMorphism_880 | MAlonzo.Code.Algebra.Morphism |
| T_IsGroup_580 | MAlonzo.Code.Algebra.Structures |
| T_IsHeytingAlgebra_1468 | MAlonzo.Code.Relation.Binary.Lattice |
| T_IsIdempotentCommutativeMonoidMorphism_678 | MAlonzo.Code.Algebra.Morphism |
| T_IsIdempotentCommutativeMonoid_464 | MAlonzo.Code.Algebra.Structures |
| T_IsIndexedEquivalence_22 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures |
| T_IsIndexedPreorder_44 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures |
| T_IsInjection_92 | MAlonzo.Code.Function.Structures |
| T_IsInverse_468 | MAlonzo.Code.Function.Structures |
| T_IsJoinSemilattice_68 | MAlonzo.Code.Relation.Binary.Lattice |
| T_IsLattice_740 | MAlonzo.Code.Algebra.Structures |
| T_IsLattice_810 | MAlonzo.Code.Relation.Binary.Lattice |
| T_IsLeftInverse_312 | MAlonzo.Code.Function.Structures |
| T_IsMagma_86 | MAlonzo.Code.Algebra.Structures |
| T_IsMeetSemilattice_438 | MAlonzo.Code.Relation.Binary.Lattice |
| T_IsMonoidMorphism_298 | MAlonzo.Code.Algebra.Morphism |
| T_IsMonoid_358 | MAlonzo.Code.Algebra.Structures |
| T_IsNearSemiring_876 | MAlonzo.Code.Algebra.Structures |
| T_IsPartialEquivalence_16 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsPartialOrder_162 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsPreMetric_96 | MAlonzo.Code.Function.Metric.Structures |
| T_IsPreorder_70 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsProtoMetric_30 | MAlonzo.Code.Function.Metric.Structures |
| T_IsQuasiSemiMetric_162 | MAlonzo.Code.Function.Metric.Structures |
| T_IsRightInverse_390 | MAlonzo.Code.Function.Structures |
| T_IsRingMorphism_1516 | MAlonzo.Code.Algebra.Morphism |
| T_IsRingWithoutAnnihilatingZero_1884 | MAlonzo.Code.Algebra.Structures.Biased |
| T_IsRing_1584 | MAlonzo.Code.Algebra.Structures |
| T_IsSelectiveMagma_158 | MAlonzo.Code.Algebra.Structures |
| T_IsSemigroupMorphism_148 | MAlonzo.Code.Algebra.Morphism |
| T_IsSemigroup_194 | MAlonzo.Code.Algebra.Structures |
| T_IsSemilattice_312 | MAlonzo.Code.Algebra.Structures |
| T_IsSemiMetric_232 | MAlonzo.Code.Function.Metric.Structures |
| T_IsSemiringWithoutAnnihilatingZero_1142 | MAlonzo.Code.Algebra.Structures |
| T_IsSemiringWithoutOne_952 | MAlonzo.Code.Algebra.Structures |
| T_IsSemiring_1238 | MAlonzo.Code.Algebra.Structures |
| T_IsStrictPartialOrder_266 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsStrictTotalOrder_502 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsStrict_92 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple |
| T_IsSurjection_162 | MAlonzo.Code.Function.Structures |
| T_IsTotalOrder_384 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsTotalPreorder_118 | MAlonzo.Code.Relation.Binary.Structures |
| T_JoinSemilattice_170 | MAlonzo.Code.Relation.Binary.Lattice |
| T_K'38'__56 | MAlonzo.Code.Data.Tree.AVL.Value |
| T_Kind_468 | MAlonzo.Code.Utils |
| T_Kind_52 | MAlonzo.Code.Function.Related |
| T_Lattice_1144 | MAlonzo.Code.Algebra.Bundles |
| T_Lattice_898 | MAlonzo.Code.Relation.Binary.Lattice |
| T_LeftInverse_82 | MAlonzo.Code.Function.LeftInverse |
| T_LeftInverse_942 | MAlonzo.Code.Function.Bundles |
| T_Level_18 | MAlonzo.Code.Agda.Primitive |
| T_Lex_32 | MAlonzo.Code.Data.List.Relation.Binary.Lex.Core |
| T_Lift_8 | MAlonzo.Code.Level |
| T_LinearFunction_32 | MAlonzo.Code.Cost.Raw |
| T_List'8314'_24 | MAlonzo.Code.Data.List.NonEmpty.Base |
| T_List_10 | MAlonzo.Code.Agda.Builtin.List |
| T_List_380 | MAlonzo.Code.Utils |
| T_Literal_124 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_MachineParameters_46 | MAlonzo.Code.Cost.Base |
| T_Magma_36 | MAlonzo.Code.Algebra.Bundles |
| T_MaxOperator_114 | MAlonzo.Code.Algebra.Construct.NaturalChoice.Base |
| T_Maybe_10 | MAlonzo.Code.Agda.Builtin.Maybe |
| T_MeetSemilattice_540 | MAlonzo.Code.Relation.Binary.Lattice |
| T_Metric_364 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| T_MinOperator_84 | MAlonzo.Code.Algebra.Construct.NaturalChoice.Base |
| T_Modality_68 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Monad_186 | MAlonzo.Code.Utils |
| T_Monoid_506 | MAlonzo.Code.Algebra.Bundles |
| T_Morphism_274 | MAlonzo.Code.Category.Applicative.Indexed |
| T_Morphism_54 | MAlonzo.Code.Category.Functor |
| T_Nat_6 | MAlonzo.Code.Agda.Builtin.Nat |
| T_NearSemiring_1354 | MAlonzo.Code.Algebra.Bundles |
| T_NonEmpty_316 | MAlonzo.Code.Relation.Binary.Definitions |
| T_Ordering_252 | MAlonzo.Code.Data.Nat.Base |
| T_Ordering_504 | MAlonzo.Code.Data.Fin.Base |
| T_ParseError_4 | MAlonzo.Code.Evaluator.Base |
| T_PartialSetoid_10 | MAlonzo.Code.Relation.Binary.Bundles |
| T_Pattern_158 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Pointwise_34 | MAlonzo.Code.Data.Sum.Relation.Binary.Pointwise |
| T_Pointwise_48 | MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base |
| T_Poset_282 | MAlonzo.Code.Relation.Binary.Bundles |
| T_Precedence_22 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_PreMetric_90 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| T_Preorder_132 | MAlonzo.Code.Relation.Binary.Bundles |
| T_PrintfSpec_18 | MAlonzo.Code.Text.Printf.Generic |
| T_ProgramNU_26 | MAlonzo.Code.Evaluator.Program |
| T_ProgramN_18 | MAlonzo.Code.Evaluator.Program |
| T_ProgramU_28 | MAlonzo.Code.Evaluator.Program |
| T_Program_20 | MAlonzo.Code.Evaluator.Program |
| T_Progress_10 | MAlonzo.Code.Algorithmic.ReductionEC.Progress |
| T_ProtoMetric_12 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| T_QuadraticFunction_44 | MAlonzo.Code.Cost.Raw |
| T_Quantity_62 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_QuasiSemiMetric_174 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| T_RawComonad_22 | MAlonzo.Code.Category.Comonad |
| T_RawFunctor_24 | MAlonzo.Code.Category.Functor |
| T_RawGroup_852 | MAlonzo.Code.Algebra.Bundles |
| T_RawIAlternative_210 | MAlonzo.Code.Category.Applicative.Indexed |
| T_RawIApplicativeZero_156 | MAlonzo.Code.Category.Applicative.Indexed |
| T_RawIApplicative_38 | MAlonzo.Code.Category.Applicative.Indexed |
| T_RawIMonadPlus_240 | MAlonzo.Code.Category.Monad.Indexed |
| T_RawIMonadZero_174 | MAlonzo.Code.Category.Monad.Indexed |
| T_RawIMonad_32 | MAlonzo.Code.Category.Monad.Indexed |
| T_RawLattice_1110 | MAlonzo.Code.Algebra.Bundles |
| T_RawMagma_8 | MAlonzo.Code.Algebra.Bundles |
| T_RawModel_60 | MAlonzo.Code.Cost.Raw |
| T_RawMonoid_474 | MAlonzo.Code.Algebra.Bundles |
| T_RawNearSemiring_1314 | MAlonzo.Code.Algebra.Bundles |
| T_RawRing_2460 | MAlonzo.Code.Algebra.Bundles |
| T_RawSemiring_1738 | MAlonzo.Code.Algebra.Bundles |
| T_RawTm_30 | MAlonzo.Code.Raw |
| T_RawTyCon_4 | MAlonzo.Code.Raw |
| T_RawTy_2 | MAlonzo.Code.Raw |
| T_ReflClosure_30 | MAlonzo.Code.Relation.Binary.Construct.Closure.Reflexive |
| T_Reflects_14 | MAlonzo.Code.Relation.Nullary |
| T_Relevance_56 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Reveal_'183'_is__86 | MAlonzo.Code.Relation.Binary.PropositionalEquality |
| T_RightInverse_1020 | MAlonzo.Code.Function.Bundles |
| T_Ring_2514 | MAlonzo.Code.Algebra.Bundles |
| T_RuntimeError_348 | MAlonzo.Code.Utils |
| T_ScopedTm_522 | MAlonzo.Code.Scoped |
| T_ScopedTy_14 | MAlonzo.Code.Scoped |
| T_ScopeError_576 | MAlonzo.Code.Scoped |
| T_SelectiveMagma_90 | MAlonzo.Code.Algebra.Bundles |
| T_Semigroup_206 | MAlonzo.Code.Algebra.Bundles |
| T_Semilattice_402 | MAlonzo.Code.Algebra.Bundles |
| T_SemiMetric_266 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| T_SemiringWithoutAnnihilatingZero_1786 | MAlonzo.Code.Algebra.Bundles |
| T_SemiringWithoutOne_1464 | MAlonzo.Code.Algebra.Bundles |
| T_Semiring_1932 | MAlonzo.Code.Algebra.Bundles |
| T_Setoid_44 | MAlonzo.Code.Relation.Binary.Bundles |
| T_SignAbs_202 | MAlonzo.Code.Data.Integer.Base |
| T_Sign_6 | MAlonzo.Code.Data.Sign.Base |
| T_SigTy_260 | MAlonzo.Code.Builtin.Signature |
| T_Sig_68 | MAlonzo.Code.Builtin.Signature |
| T_SnocView_274 | MAlonzo.Code.Data.List.NonEmpty.Base |
| T_Sort_156 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Stack_1048 | MAlonzo.Code.Algorithmic.CEK |
| T_Stack_18 | MAlonzo.Code.Algorithmic.CK |
| T_Stack_6 | MAlonzo.Code.Untyped.CEK |
| T_State_1062 | MAlonzo.Code.Algorithmic.CEK |
| T_State_218 | MAlonzo.Code.Untyped.CEK |
| T_State_34 | MAlonzo.Code.Algorithmic.CK |
| T_StepKind_6 | MAlonzo.Code.Cost.Base |
| T_Steps_30 | MAlonzo.Code.Algorithmic.Evaluation |
| T_StrictPartialOrder_472 | MAlonzo.Code.Relation.Binary.Bundles |
| T_StrictTotalOrder_864 | MAlonzo.Code.Relation.Binary.Bundles |
| T_String_6 | MAlonzo.Code.Agda.Builtin.String |
| T_Surjection_54 | MAlonzo.Code.Function.Surjection |
| T_Surjection_774 | MAlonzo.Code.Function.Bundles |
| T_Surjective_18 | MAlonzo.Code.Function.Surjection |
| T_Symmetric'45'kind_142 | MAlonzo.Code.Function.Related |
| T_TagCon_58 | MAlonzo.Code.RawU |
| T_Tag_28 | MAlonzo.Code.RawU |
| T_TermNU_22 | MAlonzo.Code.Evaluator.Term |
| T_TermN_18 | MAlonzo.Code.Evaluator.Term |
| T_TermU_24 | MAlonzo.Code.Evaluator.Term |
| T_Term_14 | MAlonzo.Code.Evaluator.Term |
| T_Term_154 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_These_38 | MAlonzo.Code.Data.These.Base |
| T_TmCon_198 | MAlonzo.Code.RawU |
| T_TotalOrder_652 | MAlonzo.Code.Relation.Binary.Bundles |
| T_TotalPreorder_204 | MAlonzo.Code.Relation.Binary.Bundles |
| T_Tree_166 | MAlonzo.Code.Data.Tree.AVL.Indexed |
| T_Tree_240 | MAlonzo.Code.Data.Tree.AVL |
| T_Tri_136 | MAlonzo.Code.Relation.Binary.Definitions |
| T_TyCon_6 | MAlonzo.Code.Builtin.Constant.Type |
| T_TypecheckOptions_30 | MAlonzo.Code.Main |
| T_TypeError_12 | MAlonzo.Code.Check |
| T_TypeN_20 | MAlonzo.Code.Evaluator.Term |
| T_Type_16 | MAlonzo.Code.Evaluator.Term |
| T_UltraMetric_468 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| T_Untyped_146 | MAlonzo.Code.RawU |
| T_Value_14 | MAlonzo.Code.Untyped.CEK |
| T_Value_28 | MAlonzo.Code.Algorithmic.ReductionEC |
| T_Value_38 | MAlonzo.Code.Data.Tree.AVL.Value |
| T_Value_52 | MAlonzo.Code.Algorithmic.CEK |
| T_Vec'8804'_122 | MAlonzo.Code.Data.Vec.Bounded.Base |
| T_Vec_24 | MAlonzo.Code.Data.Vec.Base |
| T_Visibility_48 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_WeirdFin_56 | MAlonzo.Code.Scoped |
| T_Weirdℕ_42 | MAlonzo.Code.Scoped |
| T_Writer_304 | MAlonzo.Code.Utils |
| T__'10216''91''8801''93''10217'β__8 | MAlonzo.Code.Type.Equality |
| T__'215'__362 | MAlonzo.Code.Utils |
| T__'47'_'8866''8902'_22 | MAlonzo.Code.Builtin.Signature |
| T__'47'_'8866'r'8902'_60 | MAlonzo.Code.Builtin.Signature |
| T__'60''8314'__20 | MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.Strict |
| T__'60''8314'__340 | MAlonzo.Code.Induction.WellFounded |
| T__'60''8331'__20 | MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.Strict |
| T__'60'__18 | MAlonzo.Code.Data.Bool.Base |
| T__'60'__430 | MAlonzo.Code.Induction.WellFounded |
| T__'60'__50 | MAlonzo.Code.Data.Integer.Base |
| T__'8212''8594''8902'__652 | MAlonzo.Code.Algorithmic.ReductionEC |
| T__'8212''8594'__750 | MAlonzo.Code.Algorithmic.ReductionEC |
| T__'8212''8608'__780 | MAlonzo.Code.Algorithmic.ReductionEC |
| T__'8592'__12 | MAlonzo.Code.Function.Related |
| T__'8610'__36 | MAlonzo.Code.Function.Related |
| T__'8715''8902'__14 | MAlonzo.Code.Type |
| T__'8715'__16 | MAlonzo.Code.Algorithmic |
| T__'8715'__34 | MAlonzo.Code.Declarative |
| T__'8724'_'8803'__120 | MAlonzo.Code.Utils |
| T__'8739'__12 | MAlonzo.Code.Data.Nat.Divisibility.Core |
| T__'8764'_'8852'__30 | MAlonzo.Code.Data.Tree.AVL.Height |
| T__'8771'__12 | MAlonzo.Code.Function.HalfAdjointEquivalence |
| T__'8773'__22 | MAlonzo.Code.Relation.Binary.HeterogeneousEquality.Core |
| T__'8776''8729'__20 | MAlonzo.Code.Relation.Binary.Construct.Add.Point.Equality |
| T__'8801'__12 | MAlonzo.Code.Agda.Builtin.Equality |
| T__'8801'β__10 | MAlonzo.Code.Type.Equality |
| T__'8803'I_'60''62''62'__1110 | MAlonzo.Code.Utils.List |
| T__'8803'_'60''62''62'__684 | MAlonzo.Code.Utils.List |
| T__'8804''8242'__154 | MAlonzo.Code.Data.Nat.Base |
| T__'8804''8243'__188 | MAlonzo.Code.Data.Nat.Base |
| T__'8804''8244'__222 | MAlonzo.Code.Data.Nat.Base |
| T__'8804''8314'__20 | MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.NonStrict |
| T__'8804''8331'__20 | MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.NonStrict |
| T__'8804'__10 | MAlonzo.Code.Data.Bool.Base |
| T__'8804'__18 | MAlonzo.Code.Data.Nat.Base |
| T__'8804'__26 | MAlonzo.Code.Data.Integer.Base |
| T__'8826'__494 | MAlonzo.Code.Data.Fin.Base |
| T__'8846'__30 | MAlonzo.Code.Data.Sum.Base |
| T__'8866''8902'__20 | MAlonzo.Code.Type |
| T__'8866''9839'_4 | MAlonzo.Code.Builtin.Signature |
| T__'8866'Ne'8902'__6 | MAlonzo.Code.Type.BetaNormal |
| T__'8866'Nf'8902'__4 | MAlonzo.Code.Type.BetaNormal |
| T__'8866'_14 | MAlonzo.Code.Untyped |
| T__'8866'__110 | MAlonzo.Code.Declarative |
| T__'8866'__168 | MAlonzo.Code.Algorithmic |
| T__'91''8801''93'β__4 | MAlonzo.Code.Type.Equality |
| T__'91'_'93''61'__44 | MAlonzo.Code.Data.Vec.Base |
| T__'91'_'93''61'__74 | MAlonzo.Code.Data.List.Relation.Unary.All |
| T__InverseOf__20 | MAlonzo.Code.Function.Inverse |
| T__IsRelatedTo__26 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Single |
| T__IsRelatedTo__56 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Double |
| T__IsRelatedTo__70 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple |
| T_Π_16 | MAlonzo.Code.Function.Equality |
| T_Σ_14 | MAlonzo.Code.Agda.Builtin.Sigma |