| Edge3D | Rzk.Render.Geometry |
| edges | Rzk.Render.Geometry |
| eitherResIdent | Language.Rzk.Syntax.Lex |
| elaborate | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| elaborateUnder | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| elemModalTope | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| elemName | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| elemT | Language.Rzk.Foil.Syntax |
| ElimCost | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| eliminatorsOf | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| ElimInd | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ElimKind | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ElimRec | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ElimSpec | |
| 1 (Type/Class) | Rzk.TypeCheck.Decl.Data |
| 2 (Data Constructor) | Rzk.TypeCheck.Decl.Data |
| ElimTerms | |
| 1 (Type/Class) | Rzk.TypeCheck.Decl.Data |
| 2 (Data Constructor) | Rzk.TypeCheck.Decl.Data |
| elimTerms | Rzk.TypeCheck.Decl.Data |
| emptyChecked | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| emptyCheckedWithHoles | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| emptyCheckLog | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| emptyContext | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| emptyReferenceIndexCache | Language.Rzk.VSCode.Env |
| emptyTopeContext | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| endpointsAgree | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| endSection | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| entailContextM | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| entailM | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| entailSaturatedM | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| enterBinder | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| enterModality | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| Env | Language.Rzk.Foil.Convert |
| eqModalTope | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| eqT | Language.Rzk.Foil.Syntax |
| Err | Language.Rzk.Syntax.Lex |
| esConsData | Rzk.TypeCheck.Decl.Data |
| esEndpointV | Rzk.TypeCheck.Decl.Data |
| esIhNames | Rzk.TypeCheck.Decl.Data |
| esIndexDecls | Rzk.TypeCheck.Decl.Data |
| esIndexVars | Rzk.TypeCheck.Decl.Data |
| esMethodVars | Rzk.TypeCheck.Decl.Data |
| esMotiveV | Rzk.TypeCheck.Decl.Data |
| esName | Rzk.TypeCheck.Decl.Data |
| esParamDecls | Rzk.TypeCheck.Decl.Data |
| esParamVars | Rzk.TypeCheck.Decl.Data |
| esPathData | Rzk.TypeCheck.Decl.Data |
| esPathV | Rzk.TypeCheck.Decl.Data |
| esScrutV | Rzk.TypeCheck.Decl.Data |
| esTransportV | Rzk.TypeCheck.Decl.Data |
| etaExpand | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| etaMatch | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| exclude | Rzk.Project.Config |
| expandRzkPathsOrYaml | Rzk.Main |
| Explicit | Language.Rzk.Syntax.Layout |
| extractFilesFromRzkYaml | Rzk.Main |
| extractMarkdownCodeBlocks | Language.Rzk.Syntax |