| Id | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Names |
| iden | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| identTokenOf | Rzk.TypeCheck.Decl.Data |
| IdJ | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| IdJF | Language.Rzk.Foil.Syntax |
| IdJT | Language.Rzk.Foil.Syntax |
| idJT | Language.Rzk.Foil.Syntax |
| Implicit | Language.Rzk.Syntax.Layout |
| inAllSubContexts | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| incIndex | Language.Rzk.Foil.Names |
| include | Rzk.Project.Config |
| inContext | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| inCubeLayer | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| incVarIdentIndex | Language.Rzk.Foil.Names |
| indentation | Language.Rzk.Syntax.Layout |
| indexCacheModules | Language.Rzk.VSCode.Env |
| indexCacheResult | Language.Rzk.VSCode.Env |
| indexModules | Language.Rzk.VSCode.ReferenceIndex |
| indTypeTerm | Rzk.TypeCheck.Decl.Data |
| infer | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| inferAs | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| infoNF | Language.Rzk.Foil.Names |
| infoOfVar | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| infoType | Language.Rzk.Foil.Names |
| infoWHNF | Language.Rzk.Foil.Names |
| inScope | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| inScope2 | Rzk.TypeCheck.Unify |
| inScopeMaybeTope | Rzk.TypeCheck.Render |
| inScopeWith | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| insertVarInfo | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| instantiate | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| instantiateT | Language.Rzk.Foil.Syntax |
| instantiateUntyped | Language.Rzk.Foil.Syntax |
| inTopeLayer | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| Invariant | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| isAccessible | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| isAnonymous | Rzk.TypeCheck.Render |
| isCubeOrTopeType | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| isCubeType | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| isHoleHeadedT | Language.Rzk.Foil.Syntax |
| isHoleT | Language.Rzk.Foil.Syntax |
| isImplicit | Language.Rzk.Syntax.Layout |
| isLatticePoint | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| isLayout | Language.Rzk.Syntax.Layout |
| isLayoutClose | Language.Rzk.Syntax.Layout |
| isLayoutOpen | Language.Rzk.Syntax.Layout |
| isLayoutSep | Language.Rzk.Syntax.Layout |
| isMetaType | Rzk.TypeCheck.MetaPrefix |
| isoCommitDate | Rzk.Version |
| isParenClose | Language.Rzk.Syntax.Layout |
| isParenOpen | Language.Rzk.Syntax.Layout |
| isRA | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| isStop | Language.Rzk.Syntax.Layout |
| issueTypeError | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| issueWarning | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| isTokenIn | Language.Rzk.Syntax.Layout |
| isTopLevelVar | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| isWellFormatted | Rzk.Format |
| isWellFormattedFile | Rzk.Format |