Index - S
| saturateBottom | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| saturateForEntailment | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| saturateInv | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| saturateTopes | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| saturateWith | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| saturateWithHoles | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| SaturationCached | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| SaturationUncached | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ScopedTerm | Language.Rzk.Foil.Syntax |
| ScopedTermT | Language.Rzk.Foil.Syntax |
| scopeUsesItsBinder | Language.Rzk.Foil.Print |
| Second | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| SecondF | Language.Rzk.Foil.Syntax |
| SecondT | Language.Rzk.Foil.Syntax |
| secondT | Language.Rzk.Foil.Syntax |
| sectionEntries | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| SectionInfo | |
| 1 (Type/Class) | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| SectionName | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| sectionName | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| 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.Decl, Rzk.TypeCheck |
| setVariance | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| Severity | Rzk.Diagnostic |
| SeverityError | Rzk.Diagnostic |
| SeverityHint | Rzk.Diagnostic |
| SeverityInformation | Rzk.Diagnostic |
| SeverityWarning | Rzk.Diagnostic |
| shadowedBy | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ShapeId | Rzk.Render.Geometry |
| ShapeView | Rzk.TypeCheck.BinderTypes, Rzk.TypeCheck |
| Sharp | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Names |
| 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.Foil.Names |
| Silent | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| simplifyLHSwithDisjunctions | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| Single | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| sinkBound | Language.Rzk.Foil.Convert |
| sinkContextUnchecked | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| sinkDecl | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| sinkDeclGroups | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| sinkDecls | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| sinkNamed | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| sinkNames | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| sinkTopes | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| sinkVars | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| skippingCommand | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| solveRHS | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| solveRHSM | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| SomeConstructorType | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| SomeDataBody | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| SomeDataSort | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| SomeSectionName | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| SortIndex | |
| 1 (Type/Class) | Rzk.TypeCheck.Decl.Data |
| 2 (Data Constructor) | Rzk.TypeCheck.Decl.Data |
| sortIndexType | Rzk.TypeCheck.Decl.Data |
| sortIndexVar | Rzk.TypeCheck.Decl.Data |
| sourceResolvesTo | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| spawnTypecheckWorker | Language.Rzk.VSCode.Env |
| SpineStep | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| splits | Rzk.TypeCheck.Render |
| splitSectionCommands | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| splitViewM | Rzk.TypeCheck.BinderTypes, Rzk.TypeCheck |
| SrcPos | |
| 1 (Type/Class) | Language.Rzk.Foil.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| startSection | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| Status | Language.Rzk.Syntax.Layout |
| sToken | Language.Rzk.Syntax.Layout |
| stripTypeRestrictions | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| structuralHoleUnify | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| subPoints | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| substituteName | Language.Rzk.Foil.Syntax |
| substituteT | Language.Rzk.Foil.Syntax |
| subTopes2 | Rzk.TypeCheck.Render |
| suppressing | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| surfaceApps | Rzk.TypeCheck.Decl.Data |
| surfaceAppSpine | Rzk.TypeCheck.Decl.Data |
| surfaceArrow | Rzk.TypeCheck.Decl.Data |
| surfaceLambda | Rzk.TypeCheck.Decl.Data |
| surfacePatternVars | Rzk.TypeCheck.Decl.Data |
| surfacePi | Rzk.TypeCheck.Decl.Data |
| surfacePiSpine | Rzk.TypeCheck.Decl.Data |
| surfaceVar | Rzk.TypeCheck.Decl.Data |
| surfaceVarTokens | Rzk.TypeCheck.Decl.Data |
| switchVariance | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| syncOptions | Language.Rzk.VSCode.Lsp |