Index - A
| abstractName | Language.Rzk.Foil.Syntax |
| abstractOver | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| accessibleTopes | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| Action | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ActionCheckCoherence | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ActionCheckLetValue | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ActionCloseSection | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ActionContextEntailedBy | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ActionContextEntails | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ActionContextEntailsUnion | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ActionInfer | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ActionNF | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ActionTypeCheck | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ActionUnify | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ActionUnifyTerms | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ActionWHNF | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| addBinderNames | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| addImplicit | Language.Rzk.Syntax.Layout |
| addParamDecls | Rzk.TypeCheck.Decl.Data |
| addParams | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| afterPrev | Language.Rzk.Syntax.Layout |
| AlexA# | Language.Rzk.Syntax.Lex |
| AlexAcc | |
| 1 (Type/Class) | Language.Rzk.Syntax.Lex |
| 2 (Data Constructor) | Language.Rzk.Syntax.Lex |
| AlexAccNone | Language.Rzk.Syntax.Lex |
| AlexAccSkip | Language.Rzk.Syntax.Lex |
| AlexAddr | Language.Rzk.Syntax.Lex |
| AlexEOF | Language.Rzk.Syntax.Lex |
| AlexError | Language.Rzk.Syntax.Lex |
| alexGetByte | Language.Rzk.Syntax.Lex |
| alexIndexInt16OffAddr | Language.Rzk.Syntax.Lex |
| alexIndexInt32OffAddr | Language.Rzk.Syntax.Lex |
| AlexInput | Language.Rzk.Syntax.Lex |
| alexInputPrevChar | Language.Rzk.Syntax.Lex |
| AlexLastAcc | |
| 1 (Type/Class) | Language.Rzk.Syntax.Lex |
| 2 (Data Constructor) | Language.Rzk.Syntax.Lex |
| AlexLastSkip | Language.Rzk.Syntax.Lex |
| alexMove | Language.Rzk.Syntax.Lex |
| AlexNone | Language.Rzk.Syntax.Lex |
| AlexReturn | Language.Rzk.Syntax.Lex |
| alexScan | Language.Rzk.Syntax.Lex |
| alexScanUser | Language.Rzk.Syntax.Lex |
| AlexSkip | Language.Rzk.Syntax.Lex |
| alexStartPos | Language.Rzk.Syntax.Lex |
| AlexToken | Language.Rzk.Syntax.Lex |
| alex_accept | Language.Rzk.Syntax.Lex |
| alex_actions | Language.Rzk.Syntax.Lex |
| alex_action_3 | Language.Rzk.Syntax.Lex |
| alex_action_4 | Language.Rzk.Syntax.Lex |
| alex_action_5 | Language.Rzk.Syntax.Lex |
| alex_action_6 | Language.Rzk.Syntax.Lex |
| alex_action_7 | Language.Rzk.Syntax.Lex |
| alex_base | Language.Rzk.Syntax.Lex |
| alex_check | Language.Rzk.Syntax.Lex |
| alex_deflt | Language.Rzk.Syntax.Lex |
| alex_scan_tkn | Language.Rzk.Syntax.Lex |
| alex_table | Language.Rzk.Syntax.Lex |
| alex_tab_size | Language.Rzk.Syntax.Lex |
| allEliminationsInto | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| allIntroductionsOf | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| allM | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| allowHoles | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| allTopePoints | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| alphaEq | Rzk.TypeCheck.Unify |
| alphaEqT | Language.Rzk.Foil.Syntax |
| App | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| AppF | Language.Rzk.Foil.Syntax |
| applyModality | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| applyModalityToTopes | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| applyNeutral | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| applyPlan | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| applySpine | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| applyToAssumption | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| applyTyped | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| applyWhnfFun | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| AppT | Language.Rzk.Foil.Syntax |
| appT | Language.Rzk.Foil.Syntax |
| armCount | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| ASCII_Cube2_0 | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_Cube2_1 | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ascii_CubeFlip | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_CubeI | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ascii_CubeInf | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_CubeI_0 | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_CubeI_1 | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ascii_CubeProduct | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ascii_CubeSup | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ascii_CubeUnflip | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_CubeUnitStar | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_First | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_Flat | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_Lambda | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ascii_MatchBranch | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ascii_matchBranchNoParams | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_ModalColonFlat | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_ModalColonOp | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_ModalColonSharp | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_Op | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_Restriction | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_Second | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_Sharp | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_TopeAnd | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_TopeBottom | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_TopeEQ | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ascii_TopeInv | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_TopeLEQ | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_TopeOr | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_TopeTop | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ascii_TopeUninv | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_TypeFun | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_TypeSigma | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ascii_TypeSigmaModal | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ASCII_TypeSigmaTuple | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| assume | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| AssumeInSection | Language.Rzk.VSCode.ReferenceIndex |
| AssumeScope | Language.Rzk.VSCode.ReferenceIndex |
| assumeScopeAt | Language.Rzk.VSCode.ReferenceIndex |
| assumeSites | Language.Rzk.VSCode.ReferenceIndex |
| AssumeTopLevel | Language.Rzk.VSCode.ReferenceIndex |
| assumptionDepsOf | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| AssumptionUnused | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| AssumptionUse | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| AssumptionUsed | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| AstralLines | Language.Rzk.VSCode.PositionEncoding |
| astralLines | Language.Rzk.VSCode.PositionEncoding |
| atPosition | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| atSrcPos | Language.Rzk.Foil.Syntax |
| atSurface | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| availableTopes | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| availableTopesNF | Rzk.TypeCheck.Context, Rzk.TypeCheck |