Index - D
| dataAppliedIndices | Rzk.TypeCheck.Decl.Data |
| DataBody | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| DataBody' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| dataBodyParts | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| DataCompute | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| dataConFieldPats | Rzk.TypeCheck.Decl.Data |
| dataConFields | Rzk.TypeCheck.Decl.Data |
| DataConKind | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| dataConLocalNames | Rzk.TypeCheck.Decl.Data |
| dataConName | Rzk.TypeCheck.Decl.Data |
| dataConNonRec | Rzk.TypeCheck.Decl.Data |
| DataConPath | Rzk.TypeCheck.Decl.Data |
| DataConPoint | Rzk.TypeCheck.Decl.Data |
| dataConProbe | Rzk.TypeCheck.Decl.Data |
| dataConRecursive | Rzk.TypeCheck.Decl.Data |
| dataConRetIndices | Rzk.TypeCheck.Decl.Data |
| DataConSort | Rzk.TypeCheck.Decl.Data |
| dataConSort | Rzk.TypeCheck.Decl.Data |
| dataConstructorsOf | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| DataConSurface | |
| 1 (Type/Class) | Rzk.TypeCheck.Decl.Data |
| 2 (Data Constructor) | Rzk.TypeCheck.Decl.Data |
| dataConSurface | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| dataConType | Rzk.TypeCheck.Decl.Data |
| DataElim | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Type/Class) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| DataElim' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| dataEliminatorsOf | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| DataElimKind | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| dataFieldToParamDecl | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| dataParamVars | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| DataRole | |
| 1 (Type/Class) | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| dataRoleDataType | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| DataRoleKind | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| dataRoleKind | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| dataRoleNumParams | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| DataSort | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| DataSort' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| dataSortIndices | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| Debug | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| Decl | |
| 1 (Type/Class) | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| declBinderTypes | Rzk.TypeCheck.BinderTypes, Rzk.TypeCheck |
| declIsAssumption | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| DeclKind | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| DeclKindData | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| DeclKindDataCon | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| DeclKindDataElim | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| DeclKindDefine | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| DeclKindPostulate | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| declLocation | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| declName | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| declNameOf | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| declType | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| DeclUsedVars | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Type/Class) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| declUsedVars | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| DeclUsedVars' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| declValue | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| DeclView | |
| 1 (Type/Class) | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| declViewIsAssumption | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| declViewKind | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| declViewLocation | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| declViewName | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| declViews | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| declViewType | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| defaultCamera | Rzk.Render.Geometry |
| defaultRzkEnv | Language.Rzk.VSCode.Env |
| defaultVarIdents | Language.Rzk.Foil.Names |
| Definitive | Language.Rzk.Syntax.Layout |
| delimClose | Language.Rzk.Syntax.Layout |
| delimOpen | Language.Rzk.Syntax.Layout |
| delimSep | Language.Rzk.Syntax.Layout |
| destructuringBinder | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| desugarTuple | Language.Rzk.Foil.Names |
| diagnoseCheckWarning | Rzk.Diagnostic |
| diagnoseHole | Rzk.Diagnostic |
| diagnoseTypeError | Rzk.Diagnostic |
| Diagnostic | |
| 1 (Type/Class) | Rzk.Diagnostic |
| 2 (Data Constructor) | Rzk.Diagnostic |
| diagnosticCode | Rzk.Diagnostic |
| diagnosticHole | Rzk.Diagnostic |
| diagnosticLocation | Rzk.Diagnostic |
| diagnosticMessage | Rzk.Diagnostic |
| diagnosticSeverity | Rzk.Diagnostic |
| dimOf | Rzk.TypeCheck.Render |
| discreteAxiomOf | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| Display | Language.Rzk.Foil.Names |
| displayNameOf | Language.Rzk.Foil.Print |
| displayOf | Rzk.TypeCheck.Display, Rzk.TypeCheck |
| Doc | Language.Rzk.Syntax.Print |
| doc | Language.Rzk.Syntax.Print |
| doesShadowName | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| domainEntails | Rzk.TypeCheck.Unify |
| DontKnow | Rzk.TypeCheck.NbE |
| drawCube | Rzk.TypeCheck.Render |
| duplicateBinders | Rzk.TypeCheck.Decl, Rzk.TypeCheck |