Combined Plutus 1.43.0.0 Documentation

Index - S

S 
1 (Type/Class)PlutusCore.Generators.NEAT.Common
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
safeEncodeBitsPlutusCore.Flat
safeFreshNamePlutusIR.Compiler.Names
safeFreshTyNamePlutusIR.Compiler.Names
safeFromListPlutusTx.AssocMap
safeFromSOPListPlutusTx.Data.AssocMap, PlutusLedgerApi.Data.V2
safeIndexOneData.RandomAccessList.SkewBinary
safeIndexZero 
1 (Function)Data.RandomAccessList.SkewBinary
2 (Function)Data.RandomAccessList.SkewBinarySlab
safeLiftPlutusTx.Lift
safeLiftCodePlutusTx.Lift, PlutusTx
safeLiftProgramPlutusTx.Lift
SafeToInlinePlutusTx.Compiler.Types, PlutusCore.Annotation
saltFunctionPlutusLedgerApi.Test.Examples
sampleProgramValueGoldenPlutusCore.Generators.Hedgehog.Test
SatIntPlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, Data.SatInt
SaturatedPlutusIR.Contexts
saturatesPlutusIR.Contexts
SaturationPlutusIR.Contexts
scalarMul 
1 (Function)PlutusCore.Crypto.BLS12_381.G2
2 (Function)PlutusCore.Crypto.BLS12_381.G1
scalePlutusTx.Numeric, PlutusTx.Prelude, PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V1.Data.Value
scaledListOfPlutusIR.Generators.QuickCheck.GenerateTerms, PlutusIR.Generators.QuickCheck
SchemaPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
schemaPlutusTx.Blueprint.Class, PlutusTx.Blueprint
SchemaAllOfPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaAnnPlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
SchemaAnyOfPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBuiltInBooleanPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBuiltInBytesPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBuiltInDataPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBuiltInIntegerPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBuiltInListPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBuiltInPairPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBuiltInStringPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBuiltInUnitPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBytesPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaComment 
1 (Type/Class)PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
2 (Data Constructor)PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
schemaCommentToStringPlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
SchemaConstructorPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaDefinitionRefPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaDescription 
1 (Type/Class)PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
2 (Data Constructor)PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
schemaDescriptionToStringPlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
SchemaInfoPlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
SchemaIntegerPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaListPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaMapPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaNotPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaOneOfPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaTitle 
1 (Type/Class)PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
2 (Data Constructor)PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
schemaTitleToStringPlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
Scope 
1 (Type/Class)PlutusTx.Compiler.Types
2 (Data Constructor)PlutusTx.Compiler.Types
ScopeCheckError 
1 (Type/Class)PlutusCore.Check.Scoping
2 (Data Constructor)PlutusCore.Check.Scoping
scopeCheckTyVarsPlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck
ScopedEqRenamePlutusCore.Eq
ScopedNamePlutusCore.Check.Scoping
ScopedRenameTPlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal
ScopedRenaming 
1 (Type/Class)PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal
2 (Data Constructor)PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal
scopedRenamingTermsPlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal
scopedRenamingTypesPlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal
ScopeEntryPlutusCore.Check.Scoping
ScopeError 
1 (Type/Class)Raw
2 (Data Constructor)Raw
3 (Type/Class)PlutusCore.Check.Scoping
ScopeErrorOrInfo 
1 (Type/Class)PlutusCore.Check.Scoping
2 (Data Constructor)PlutusCore.Check.Scoping
ScopeInfo 
1 (Type/Class)PlutusCore.Check.Scoping
2 (Data Constructor)PlutusCore.Check.Scoping
ScopeTypePlutusCore.Analysis.Definitions
ScopingPlutusCore.Check.Scoping
scottConsPlutusCore.Examples.Data.Vec
ScottEncodingPlutusIR.Compiler.Types, PlutusIR.Compiler
scottHeadPlutusCore.Examples.Data.Vec
scottNilPlutusCore.Examples.Data.Vec
scottSumHeadsOr0PlutusCore.Examples.Data.Vec
ScottToMetaUnitPlutusCore.Examples.Builtins
scottVecPlutusCore.Examples.Data.Vec
scottVecFPlutusCore.Examples.Data.Vec
scriptCBORDecoderPlutusLedgerApi.Common.SerialisedScript
ScriptContext 
1 (Type/Class)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
3 (Type/Class)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
4 (Data Constructor)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
5 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
6 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
7 (Type/Class)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
8 (Data Constructor)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
9 (Type/Class)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
10 (Data Constructor)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
11 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
12 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
scriptContextPurpose 
1 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
2 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
3 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
4 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
scriptContextRedeemer 
1 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
scriptContextScriptInfo 
1 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
scriptContextTxInfo 
1 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
2 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
3 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
4 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
5 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
6 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
ScriptCredential 
1 (Data Constructor)PlutusLedgerApi.V1.Data.Credential, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
ScriptDecodeErrorPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
ScriptErrorPlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1
ScriptEvaluationData 
1 (Type/Class)PlutusLedgerApi.Test.EvaluationEvent
2 (Data Constructor)PlutusLedgerApi.Test.EvaluationEvent
ScriptEvaluationEventPlutusLedgerApi.Test.EvaluationEvent
ScriptEvaluationEvents 
1 (Type/Class)PlutusLedgerApi.Test.EvaluationEvent
2 (Data Constructor)PlutusLedgerApi.Test.EvaluationEvent
ScriptEvaluationFailurePlutusLedgerApi.Test.EvaluationEvent
ScriptEvaluationResultPlutusLedgerApi.Test.EvaluationEvent
ScriptEvaluationSuccessPlutusLedgerApi.Test.EvaluationEvent
ScriptForEvaluationPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
ScriptHash 
1 (Type/Class)PlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
scriptHashAddress 
1 (Function)PlutusLedgerApi.V1.Data.Address
2 (Function)PlutusLedgerApi.V1.Address, PlutusLedgerApi.V1
ScriptInfo 
1 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
ScriptNamedDeBruijn 
1 (Type/Class)PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1
2 (Data Constructor)PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1
ScriptPurpose 
1 (Type/Class)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
2 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
3 (Type/Class)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
4 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
ScriptTag 
1 (Type/Class)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx
2 (Type/Class)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx
sdeAffectedLangPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
sdeAffectedVersionPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
sdeIntroPvPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
sdeThisLangPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
sdeThisPvPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
sdToStrPlutusTx.Compiler.Utils
sdToTxtPlutusTx.Compiler.Utils
secondPlutusPrelude
selfDataPlutusCore.StdLib.Data.Function
SemigroupPlutusTx.Semigroup, PlutusTx.Prelude
SemiringPlutusTx.Numeric, PlutusTx.Prelude
seqAPlutusIR.Transform.RewriteRules.Common
seqPPlutusIR.Transform.RewriteRules.Common
sequPlutusCore.StdLib.Data.Unit
sequencePlutusTx.Traversable, PlutusTx.Prelude
sequenceAPlutusTx.Traversable, PlutusTx.Prelude
sequenceA_PlutusTx.Foldable, PlutusTx.Prelude
sequenceDocMPlutusCore.Pretty.Readable, PlutusCore.Pretty
serialiseCompiledCodePlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
SerialiseDataPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
serialiseData 
1 (Function)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins
SerialiseData'cpu'arguments'intercept 
1 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
2 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
SerialiseData'cpu'arguments'slope 
1 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
2 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
SerialiseData'memory'arguments'intercept 
1 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
2 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
SerialiseData'memory'arguments'slope 
1 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
2 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
SerialisedScriptPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
serialisedScriptPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
serialisedSize 
1 (Function)PlutusCore.Size, PlutusCore
2 (Function)UntypedPlutusCore.Size, UntypedPlutusCore
serialisePirProgramFlatPlutusCore.Executable.AstIO
serialisePlcProgramFlatPlutusCore.Executable.AstIO
serialiseUPLCPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
serialiseUplcProgramFlatPlutusCore.Executable.AstIO
SerialiseViaFlat 
1 (Type/Class)Codec.Extras.SerialiseViaFlat
2 (Data Constructor)Codec.Extras.SerialiseViaFlat
SerializedCodePlutusTx.Code
setPlutusPrelude
setOfByNamePlutusCore.Name.UniqueSet
setOfByUniquePlutusCore.Name.UniqueSet
setProvenancePlutusIR.Compiler.Provenance
setTruePlutusTx.Options
sexpPrettyprinter.Custom
Sha2_256PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
sha2_256 
1 (Function)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins, PlutusTx.Prelude
3 (Function)PlutusCore.Crypto.Hash
Sha2_256'cpu'arguments'intercept 
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
Sha2_256'cpu'arguments'slope 
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
Sha2_256'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
Sha3_256PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
sha3_256 
1 (Function)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins, PlutusTx.Prelude
3 (Function)PlutusCore.Crypto.Hash
Sha3_256'cpu'arguments'intercept 
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
Sha3_256'cpu'arguments'slope 
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
Sha3_256'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
shadPlutusCore.Examples.Data.Shad
SharedNamePlutusIR.Compiler.Types
Sharp 
1 (Data Constructor)MAlonzo.RTE
2 (Data Constructor)Raw
shelleyPVPlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions
ShiftByteStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
shiftByteString 
1 (Function)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins, PlutusTx.Prelude
3 (Function)PlutusCore.Bitwise
ShiftByteString'cpu'arguments'interceptPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ShiftByteString'cpu'arguments'slopePlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ShiftByteString'memory'arguments'interceptPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ShiftByteString'memory'arguments'slopePlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
shouldInlinePlutusTx.Compiler.Types, PlutusIR.Transform.Inline.Inline, PlutusCore.Annotation, UntypedPlutusCore.Transform.Inline, UntypedPlutusCore.Simplify, UntypedPlutusCore
shouldUnconditionallyInlinePlutusIR.Transform.Inline.Utils
ShowPlutusTx.Show.TH, PlutusTx.Show
show 
1 (Function)PlutusTx.Show.TH, PlutusTx.Show
2 (Function)PlutusCore
showBuiltinSemanticsVariantPlutusCore.Executable.Parsers
showCommaSpacePlutusTx.Show.TH, PlutusTx.Show
ShowErrorComponentPlutusCore.Error
showErrorComponentPlutusCore.Error
ShowKindsPlutusCore.Pretty.Readable, PlutusCore.Pretty
ShowKindsNoPlutusCore.Pretty.Readable, PlutusCore.Pretty
ShowKindsNonTypePlutusCore.Pretty.Readable, PlutusCore.Pretty
ShowKindsYesPlutusCore.Pretty.Readable, PlutusCore.Pretty
showNamePlutusTx.Lift.THUtils
shownEvaluationFailurePlutusConformance.Common
shownParseErrorPlutusConformance.Common
showParamNamePlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common
showParenPlutusTx.Show.TH, PlutusTx.Show
ShowPretty 
1 (Type/Class)PlutusPrelude
2 (Data Constructor)PlutusPrelude
ShowSPlutusTx.Show.TH, PlutusTx.Show
showSpacePlutusTx.Show.TH, PlutusTx.Show
showsPrecPlutusTx.Show.TH, PlutusTx.Show
showStringPlutusTx.Show.TH, PlutusTx.Show
showTextPlutusPrelude
shrinkPlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
shrinkBindPlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck
shrinkBuiltinPlutusCore.Generators.QuickCheck.Builtin
shrinkBuiltinSameKindPlutusCore.Generators.QuickCheck.Builtin
shrinkBuiltinTypePlutusCore.Generators.QuickCheck.Builtin
shrinkClosedTypedTermPlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck
shrinkDatPlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck
shrinkDefaultUniApplyPlutusCore.Generators.QuickCheck.Builtin
shrinkDropBuiltinPlutusCore.Generators.QuickCheck.Builtin
shrinkDropBuiltinSameKindPlutusCore.Generators.QuickCheck.Builtin
shrinkIntegralFastPlutusCore.Generators.QuickCheck.Builtin
shrinkKindAndTypePlutusCore.Generators.QuickCheck.ShrinkTypes, PlutusCore.Generators.QuickCheck
shrinkSubstPlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck
shrinkToStarArgsPlutusCore.Generators.QuickCheck.Builtin
shrinkTypePlutusCore.Generators.QuickCheck.ShrinkTypes, PlutusCore.Generators.QuickCheck
shrinkTypeAtKindPlutusCore.Generators.QuickCheck.ShrinkTypes, PlutusCore.Generators.QuickCheck
shrinkTypedTermPlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck
SilentOpts
SimplePlutusCore.Executable.Types, PlutusCore.Executable.Common
simplePassPlutusIR.Pass
simpleRecursivePlutusCore.Generators.Hedgehog.AST, PlutusIR.Generators.AST
Simplification 
1 (Type/Class)UntypedPlutusCore.Transform.Simplifier
2 (Data Constructor)UntypedPlutusCore.Transform.Simplifier
SimplifierUntypedPlutusCore.Transform.Simplifier
simplifierPlutusIR.Compiler
SimplifierStageUntypedPlutusCore.Transform.Simplifier
SimplifierT 
1 (Type/Class)UntypedPlutusCore.Transform.Simplifier
2 (Data Constructor)UntypedPlutusCore.Transform.Simplifier
SimplifierTrace 
1 (Type/Class)UntypedPlutusCore.Transform.Simplifier
2 (Data Constructor)UntypedPlutusCore.Transform.Simplifier
simplifierTraceUntypedPlutusCore.Transform.Simplifier
SimplifyOpts 
1 (Type/Class)UntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
2 (Data Constructor)UntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
simplifyProgramUntypedPlutusCore.Simplify, UntypedPlutusCore
simplifyProgramWithTraceUntypedPlutusCore.Simplify, UntypedPlutusCore
simplifyTermUntypedPlutusCore.Simplify, UntypedPlutusCore
SingKindPlutusCore.Builtin.KnownKind, PlutusCore.Builtin
SingKindArrowPlutusCore.Builtin.KnownKind, PlutusCore.Builtin
singleton 
1 (Function)PlutusTx.Data.AssocMap
2 (Function)PlutusTx.AssocMap
3 (Function)PlutusLedgerApi.V1.Data.Interval
4 (Function)PlutusLedgerApi.V1.Interval
5 (Function)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
6 (Function)PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
singletonByNamePlutusCore.Name.UniqueMap
singletonNamePlutusCore.Name.UniqueSet
singletonRosePlutusCore.Evaluation.Machine.ExMemoryUsage
SingTypePlutusCore.Builtin.KnownKind, PlutusCore.Builtin
Size 
1 (Type/Class)PlutusIR.Analysis.Size, PlutusIR.Analysis.RetainedSize, PlutusCore.Size, UntypedPlutusCore.Size, UntypedPlutusCore
2 (Data Constructor)PlutusIR.Analysis.Size, PlutusIR.Analysis.RetainedSize, PlutusCore.Size, UntypedPlutusCore.Size, UntypedPlutusCore
size 
1 (Function)MAlonzo.Code.Cost.Size
2 (Function)PlutusCore.Examples.Builtins
sizedPlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
sizeIsAcceptablePlutusIR.Transform.Inline.Utils
sizePlcPlutusTx.Code
sizeProgramUntypedPlutusCore.Core.Instance.Flat, UntypedPlutusCore.Core.Instance, UntypedPlutusCore.Core, UntypedPlutusCore
sizeTermUntypedPlutusCore.Core.Instance.Flat, UntypedPlutusCore.Core.Instance, UntypedPlutusCore.Core, UntypedPlutusCore
SliceByteStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
sliceByteString 
1 (Function)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins, PlutusTx.Prelude
SliceByteString'cpu'arguments'intercept 
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
SliceByteString'cpu'arguments'slope 
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
SliceByteString'memory'arguments'intercept 
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
SliceByteString'memory'arguments'slope 
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
SlippageUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
Slope 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
slope1_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
slope2_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
slope_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
smallLengthPlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
smBranchesPlutusIR.Contexts
smResTyPlutusIR.Contexts
smScrutineePlutusIR.Contexts
smTyVarsPlutusIR.Contexts
snd 
1 (Function)PlutusTx.Base, PlutusTx.Prelude
2 (Function)PlutusTx.Builtins.Internal
SndPairPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
sndPairPlutusCore.StdLib.Data.Pair
SndPair'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
SndPair'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
soConservativeOptsUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
soInlineConstantsUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
soInlineHintsUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
Sole 
1 (Type/Class)PlutusCore.Pretty.Readable, PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty.Readable, PlutusCore.Pretty
soMaxCseIterationsUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
soMaxSimplifierIterationsUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
Some 
1 (Type/Class)Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
somePlutusPrelude
SomeConstant 
1 (Type/Class)PlutusCore.Builtin.Polymorphism, PlutusCore.Builtin, PlutusCore.Builtin.Debug
2 (Data Constructor)PlutusCore.Builtin.Polymorphism, PlutusCore.Builtin, PlutusCore.Builtin.Debug
someTypeUniverse.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug
SomeTypeIn 
1 (Type/Class)Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
someValueUniverse.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
someValueOfUniverse.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
someValueTypeUniverse.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
sopListToArrayPlutusTx.Builtins
sopTypePlutusCore.Parser.Type, PlutusCore.Parser
sortPlutusTx.List, PlutusTx.Prelude
sortByPlutusTx.List, PlutusTx.Prelude
sourceColumnPlutusTx.Compiler.Types, PlutusCore.Annotation
sourceLinePlutusTx.Compiler.Types, PlutusCore.Annotation
sourceNamePlutusTx.Compiler.Types, PlutusCore.Annotation
SourcePos 
1 (Type/Class)PlutusTx.Compiler.Types, PlutusIR.Parser, PlutusCore.Annotation, PlutusCore.Parser, PlutusCore, UntypedPlutusCore.Parser
2 (Data Constructor)PlutusTx.Compiler.Types, PlutusCore.Annotation
Spend 
1 (Data Constructor)PlutusTx.Blueprint.Purpose, PlutusTx.Blueprint
2 (Data Constructor)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx
3 (Data Constructor)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx
Spending 
1 (Data Constructor)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
3 (Data Constructor)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
4 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
SpendingScript 
1 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
spendsOutput 
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
SpinePlutusCore.Builtin.KnownType, PlutusCore.Builtin
SpineConsPlutusCore.Builtin.KnownType, PlutusCore.Builtin
SpineLastPlutusCore.Builtin.KnownType, PlutusCore.Builtin
split 
1 (Function)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V1.Data.Value
splitAppContextPlutusIR.Contexts
splitApplication 
1 (Function)PlutusIR.Contexts
2 (Function)UntypedPlutusCore.Core, UntypedPlutusCore
splitAt 
1 (Function)PlutusTx.List, PlutusTx.Prelude
2 (Function)PlutusTx.Data.List
splitFunTyPartsPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug
SplitMatchContext 
1 (Type/Class)PlutusIR.Contexts
2 (Data Constructor)PlutusIR.Contexts
splitNormalDatatypeMatchPlutusIR.Contexts
splitParamsUntypedPlutusCore.Core, UntypedPlutusCore
splitStructuralOperationalPlutusCore.Evaluation.Machine.Exception, PlutusCore.Evaluation.Machine.Ck, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
SqrtPlutusTx.Sqrt
SrcSpan 
1 (Type/Class)PlutusTx.Compiler.Types, PlutusCore.Annotation, PlutusCore
2 (Data Constructor)PlutusTx.Compiler.Types, PlutusCore.Annotation, PlutusCore
srcSpanEColPlutusTx.Compiler.Types, PlutusCore.Annotation, PlutusCore
srcSpanELinePlutusTx.Compiler.Types, PlutusCore.Annotation, PlutusCore
srcSpanFilePlutusTx.Compiler.Types, PlutusCore.Annotation, PlutusCore
SrcSpans 
1 (Type/Class)PlutusTx.Compiler.Types, PlutusCore.Annotation, PlutusCore
2 (Data Constructor)PlutusTx.Compiler.Types, PlutusCore.Annotation
srcSpanSColPlutusTx.Compiler.Types, PlutusCore.Annotation, PlutusCore
srcSpanSLinePlutusTx.Compiler.Types, PlutusCore.Annotation, PlutusCore
stableModuleCmpPlutusTx.Compiler.Types
stableNameCmpPlutusTx.Compiler.Types
stageUntypedPlutusCore.Transform.Simplifier
StakePoolVoter 
1 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
StakingCredential 
1 (Type/Class)PlutusLedgerApi.V1.Data.Credential, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Type/Class)PlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
stakingCredential 
1 (Function)PlutusLedgerApi.V1.Data.Address
2 (Function)PlutusLedgerApi.V1.Address, PlutusLedgerApi.V1
StakingHash 
1 (Data Constructor)PlutusLedgerApi.V1.Data.Credential, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
StakingPtr 
1 (Data Constructor)PlutusLedgerApi.V1.Data.Credential, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
StarRaw
StartingUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
StayedFreeVariablesPlutusCore.Check.Scoping
StayedOutOfScopeVariablesPlutusCore.Check.Scoping
Stays 
1 (Data Constructor)PlutusCore.Check.Scoping
2 (Type/Class)PlutusCore.Check.Scoping
StaysFreeVariablePlutusCore.Check.Scoping
StaysOutOfScopeVariablePlutusCore.Check.Scoping
StdInputPlutusCore.Executable.Types, PlutusCore.Executable.Common
stdInputPlutusCore.Executable.Parsers
stdLibPlutusCore.StdLib.Everything
StdOutputPlutusCore.Executable.Types, PlutusCore.Executable.Common
stdOutputPlutusCore.Executable.Parsers
StepUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
StepCounter 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
StepFUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
StepKindUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
stepTypeGPlutusCore.Generators.NEAT.Term
StrictPlutusIR.Core.Type, PlutusIR.Core, PlutusIR
strictifyBindingsPlutusIR.Transform.StrictifyBindings
strictifyBindingsPassPlutusIR.Transform.StrictifyBindings
strictLowerBound 
1 (Function)PlutusLedgerApi.V1.Data.Interval, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
StrictnessPlutusIR.Core.Type, PlutusIR.Core, PlutusIR
strictUpperBound 
1 (Function)PlutusLedgerApi.V1.Data.Interval, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
stringToBuiltinByteStringPlutusTx.Builtins.HasOpaque
stringToBuiltinByteStringHexPlutusTx.Builtins.HasOpaque
stringToBuiltinByteStringUtf8PlutusTx.Builtins.HasOpaque
stringToBuiltinStringPlutusTx.Builtins.HasOpaque
stripPrefixData.Aeson.Extra
StructuralEvaluationErrorPlutusCore.Evaluation.Error, PlutusCore.Builtin.Result, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
subPlutusCore.Generators.NEAT.Type
sub64MAlonzo.RTE
subIntMAlonzo.RTE
sublistNPlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
substEscapePlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck
substNamePlutusIR.Transform.Inline.Utils
substNormalizeTypeM 
1 (Function)PlutusCore.Normalize.Internal
2 (Function)PlutusCore.TypeCheck.Internal
substTyNamePlutusIR.Transform.Inline.Utils
substTypePlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck
substTypeCustomPlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck
substTypeCustomGoPlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck
substTypeParallelPlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck
substTyVarPlutusCore.Subst
substTyVarA 
1 (Function)PlutusIR.Transform.Substitute
2 (Function)PlutusCore.Subst
substVar 
1 (Function)PlutusCore.Subst
2 (Function)UntypedPlutusCore.Subst, UntypedPlutusCore
substVarA 
1 (Function)PlutusIR.Transform.Substitute
2 (Function)PlutusCore.Subst
3 (Function)UntypedPlutusCore.Subst, UntypedPlutusCore
SubtractedSizesPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
SubtractIntegerPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
subtractInteger 
1 (Function)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins
SubtractInteger'cpu'arguments'intercept 
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
SubtractInteger'cpu'arguments'slope 
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
SubtractInteger'memory'arguments'intercept 
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
SubtractInteger'memory'arguments'slope 
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
succ 
1 (Function)PlutusTx.Enum, PlutusTx.Prelude
2 (Function)PlutusCore.StdLib.Data.Nat
succBoolBadArgumentErrorPlutusTx.ErrorCodes
succIntegerPlutusCore.StdLib.Data.Integer
succOrderingBadArgumentErrorPlutusTx.ErrorCodes
succTPlutusCore.Examples.Data.Vec
succVoidBadArgumentErrorPlutusTx.ErrorCodes
suchThatPlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
suchThatMapPlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
suchThatMaybePlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
sum 
1 (Function)PlutusTx.Foldable, PlutusTx.Prelude
2 (Function)PlutusCore.StdLib.Data.Sum
3 (Function)PlutusCore.StdLib.Data.ScottList
4 (Function)PlutusCore.StdLib.Data.List
sumCostStreamPlutusCore.Evaluation.Machine.CostStream
sumExBudgetStreamPlutusCore.Evaluation.Machine.ExBudgetStream
SumIntegerPlutusCore.Examples.Builtins
summingFunctionPlutusLedgerApi.Test.Examples
sumr 
1 (Function)PlutusCore.StdLib.Data.ScottList
2 (Function)PlutusCore.StdLib.Data.List
SumsOfProductsPlutusIR.Compiler.Types, PlutusIR.Compiler
SwapPlutusCore.Examples.Builtins
SwapElsPlutusCore.Examples.Builtins
symbolPlutusCore.Parser.ParserCommon, PlutusCore.Parser
symbols 
1 (Function)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V1.Data.Value
symmetricDifferencePlutusCore.Check.Scoping