Index - S
| sch | Inferno.Types.Type |
| Scheme | Inferno.Types.Type |
| Scope | Inferno.Types.Syntax |
| Scoped | Inferno.Types.Syntax |
| showPretty | Inferno.Utils.Prettyprinter |
| SigOpVar | Inferno.Types.Syntax |
| SigVar | |
| 1 (Type/Class) | Inferno.Types.Syntax |
| 2 (Data Constructor) | Inferno.Types.Syntax |
| sigVarToExpr | Inferno.Types.Syntax |
| sigVarToIdent | Inferno.Types.Syntax |
| SomeIStr | |
| 1 (Type/Class) | Inferno.Types.Syntax |
| 2 (Data Constructor) | Inferno.Types.Syntax |
| sourceColumn | Inferno.Types.Syntax |
| sourceLine | Inferno.Types.Syntax |
| sourceName | Inferno.Types.Syntax |
| SourcePos | |
| 1 (Data Constructor) | Inferno.Types.Syntax |
| 2 (Type/Class) | Inferno.Types.Syntax |
| Subst | |
| 1 (Type/Class) | Inferno.Types.Type |
| 2 (Data Constructor) | Inferno.Types.Type |
| substInternalIdents | Inferno.Types.Syntax |
| Substitutable | Inferno.Types.Type |