Index - S
| save | Hyper.Unify.Binding.Save |
| saveScheme | Hyper.Type.AST.Scheme |
| Scheme | |
| 1 (Type/Class) | Hyper.Type.AST.Scheme |
| 2 (Data Constructor) | Hyper.Type.AST.Scheme |
| scopeConstraints | Hyper.Class.Unify, Hyper.Unify |
| ScopeLevel | |
| 1 (Type/Class) | Hyper.Infer.ScopeLevel, Hyper.Infer |
| 2 (Data Constructor) | Hyper.Infer.ScopeLevel, Hyper.Infer |
| ScopeOf | Hyper.Type.AST.Var |
| semiPruneLookup | Hyper.Class.Unify, Hyper.Unify |
| sForAlls | Hyper.Type.AST.Scheme |
| SkolemEscape | Hyper.Unify.Error, Hyper.Unify |
| SkolemUnified | Hyper.Unify.Error, Hyper.Unify |
| stBinding | Hyper.Unify.Binding.ST |
| structureMismatch | Hyper.Class.Unify, Hyper.Unify |
| STUVar | |
| 1 (Type/Class) | Hyper.Unify.Binding.ST |
| 2 (Data Constructor) | Hyper.Unify.Binding.ST |
| sTyp | Hyper.Type.AST.Scheme |