Index - S
| S | Lava2000.Signal, Lava2000 |
| Sat | Lava2000.Verification, Lava2000 |
| satnik | Lava2000.Satnik |
| satzoo | Lava2000.Satzoo, Lava2000 |
| Sequent | Lava2000.Sequent |
| sequent | Lava2000.Sequent |
| sequential | Lava2000.Property, Lava2000 |
| serial | Lava2000.Patterns |
| ShowModel | Lava2000.Property, Lava2000 |
| showModel | Lava2000.Property, Lava2000 |
| ShowTime | Lava2000.Verification, Lava2000 |
| Signal | |
| 1 (Type/Class) | Lava2000.SignalTry |
| 2 (Type/Class) | Lava2000.Signal, Lava2000 |
| 3 (Data Constructor) | Lava2000.Signal, Lava2000 |
| SignalInt | Lava2000.Operators, Lava2000 |
| simulate | Lava2000.Combinational, Lava2000 |
| simulateCon | Lava2000.SequentialConstructive, Lava2000 |
| simulateSeq | Lava2000.Sequential, Lava2000 |
| smv | Lava2000.Smv, Lava2000 |
| split | Lava2000.LavaRandom |
| splitRndList | Lava2000.Generic, Lava2000 |
| ST | Lava2000.MyST |
| stable | Lava2000.Stable |
| StepMax | Lava2000.Isc |
| StepMin | Lava2000.Isc |
| STRef | Lava2000.MyST |
| strongZipWith | Lava2000.Generic, Lava2000 |
| Struct | Lava2000.Generic, Lava2000 |
| struct | Lava2000.Generic, Lava2000 |
| sub | Lava2000.Operators, Lava2000 |
| swap | Lava2000.Patterns |
| swapl | Lava2000.Patterns |
| Symbol | |
| 1 (Type/Class) | Lava2000.SignalTry |
| 2 (Data Constructor) | Lava2000.SignalTry |
| 3 (Type/Class) | Lava2000.Signal, Lava2000 |
| 4 (Data Constructor) | Lava2000.Signal, Lava2000 |
| symbol | Lava2000.Signal, Lava2000 |
| symbolize | Lava2000.Generic, Lava2000 |