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