| SCAddress | Michelson.Typed |
| SCBool | Michelson.Typed |
| SCBytes | Michelson.Typed |
| SCInt | Michelson.Typed |
| SCKeyHash | Michelson.Typed |
| SCMutez | Michelson.Typed |
| SCNat | Michelson.Typed |
| SCString | Michelson.Typed |
| SCTimestamp | Michelson.Typed |
| sdMbKeyHash | Michelson.Typed.Value, Michelson.Typed |
| SecretKey | Tezos.Crypto |
| SELF | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| semicolon | Morley.Lexer |
| SENDER | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| sepEndBy1 | Morley.Parser.Helpers |
| Seq | |
| 1 (Data Constructor) | Michelson.Typed |
| 2 (Data Constructor) | Morley.Types |
| SeqEx | Michelson.Untyped, Morley.Types |
| SetDelegate | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Value, Michelson.Typed |
| setMaxSteps | Morley.Test.Integrational, Morley.Test |
| setNow | Morley.Test.Integrational, Morley.Test |
| SET_CADR | Morley.Types |
| SET_DELEGATE | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| SHA256 | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| sha256 | Tezos.Crypto |
| SHA512 | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| sha512 | Tezos.Crypto |
| SiFail | Michelson.TypeCheck |
| sign | Tezos.Crypto |
| Signature | Tezos.Crypto |
| Sing | Michelson.Typed |
| SIZE | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| SizeOp | Michelson.Typed |
| SLambda | Michelson.Typed |
| SLICE | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| SliceOp | Michelson.Typed |
| SNil | Michelson.TypeCheck |
| SOME | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| SomeContract | |
| 1 (Type/Class) | Michelson.TypeCheck |
| 2 (Data Constructor) | Michelson.TypeCheck |
| SomeHST | |
| 1 (Type/Class) | Michelson.TypeCheck |
| 2 (Data Constructor) | Michelson.TypeCheck |
| SomeInstr | Michelson.TypeCheck |
| SomeItStack | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| SomeVal | Michelson.TypeCheck |
| SomeValC | Michelson.TypeCheck |
| SOURCE | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| spaces | Michelson.Printer.Util |
| specWithContract | Morley.Test.Import, Morley.Test |
| specWithTypedContract | Morley.Test.Import, Morley.Test |
| specWithUntypedContract | Morley.Test.Import, Morley.Test |
| StackFn | |
| 1 (Type/Class) | Morley.Types |
| 2 (Data Constructor) | Morley.Types |
| StackRef | |
| 1 (Type/Class) | Morley.Types |
| 2 (Data Constructor) | Morley.Types |
| STACKTYPE | Morley.Types |
| stackType | Morley.Parser |
| StackTypePattern | Morley.Types |
| STBigMap | Michelson.Typed |
| STc | Michelson.Typed |
| STContract | Michelson.Typed |
| STEPS_TO_QUOTA | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| StkCons | Morley.Types |
| StkEmpty | Morley.Types |
| STKey | Michelson.Typed |
| StkRest | Morley.Types |
| STLambda | Michelson.Typed |
| STList | Michelson.Typed |
| STMap | Michelson.Typed |
| STOperation | Michelson.Typed |
| STOption | Michelson.Typed |
| STOr | Michelson.Typed |
| stor | Michelson.Untyped, Morley.Types |
| Storage | Michelson.Untyped, Morley.Types |
| STPair | Michelson.Typed |
| string' | Morley.Lexer |
| stringLiteral | Morley.Parser |
| STSet | Michelson.Typed |
| STSignature | Michelson.Typed |
| STUnit | Michelson.Typed |
| SUB | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Sub | Michelson.Typed |
| subMutez | Tezos.Core |
| SubUnderflow | Michelson.Typed |
| succeededProp | Morley.Test.Util, Morley.Test |
| SuccessValidator | Morley.Test.Integrational, Morley.Test |
| SWAP | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| symbol | Morley.Lexer |
| symbol' | Morley.Lexer |