| S | Free.Scoped |
| saturateBottom | Rzk.TypeCheck |
| saturateInv | Rzk.TypeCheck |
| saturateTopes | Rzk.TypeCheck |
| saturateWith | Rzk.TypeCheck |
| Scope | Free.Scoped |
| ScopedTypeError | Rzk.TypeCheck |
| ScopeInfo | |
| 1 (Type/Class) | Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck |
| scopeName | Rzk.TypeCheck |
| scopeToDecls | Rzk.TypeCheck |
| scopeVars | Rzk.TypeCheck |
| Second | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| SecondE | Language.Rzk.Free.Syntax |
| SecondF | Language.Rzk.Free.Syntax |
| SecondT | Language.Rzk.Free.Syntax |
| secondT | Rzk.TypeCheck |
| SecondTE | Language.Rzk.Free.Syntax |
| SectionName | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| SectionName' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ServerConfig | |
| 1 (Type/Class) | Language.Rzk.VSCode.Config |
| 2 (Data Constructor) | Language.Rzk.VSCode.Config |
| setOption | Rzk.TypeCheck |
| setVariance | Rzk.TypeCheck |
| Severity | Rzk.Diagnostic |
| SeverityError | Rzk.Diagnostic |
| SeverityHint | Rzk.Diagnostic |
| SeverityInformation | Rzk.Diagnostic |
| SeverityWarning | Rzk.Diagnostic |
| ShapeId | Rzk.TypeCheck |
| Sharp | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| SigmaParam | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Type/Class) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| SigmaParam' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| SigmaParamModal | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| sigmaParamToTypeSigma | Language.Rzk.Free.Syntax |
| Silent | Rzk.TypeCheck |
| simplifyLHS | Rzk.TypeCheck |
| simplifyLHSwithDisjunctions | Rzk.TypeCheck |
| Single | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| solveRHS | Rzk.TypeCheck |
| solveRHSM | Rzk.TypeCheck |
| SomeSectionName | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| SpineStep | Rzk.TypeCheck |
| splits | Rzk.TypeCheck |
| splitSectionCommands | Rzk.TypeCheck |
| startSection | Rzk.TypeCheck |
| Status | Language.Rzk.Syntax.Layout |
| sToken | Language.Rzk.Syntax.Layout |
| stripTypeRestrictions | Rzk.TypeCheck |
| structuralHoleUnify | Rzk.TypeCheck |
| subPoints | Rzk.TypeCheck |
| substitute | Free.Scoped |
| substituteT | Language.Rzk.Free.Syntax |
| subTopes2 | Rzk.TypeCheck |
| Sum | Free.Scoped |
| switchVariance | Rzk.TypeCheck |
| syncOptions | Language.Rzk.VSCode.Lsp |