| cachedModuleDecls | Language.Rzk.VSCode.Env |
| cachedModuleErrors | Language.Rzk.VSCode.Env |
| cacheTypecheckedModules | Language.Rzk.VSCode.Env |
| Camera | |
| 1 (Type/Class) | Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck |
| cameraAngleX | Rzk.TypeCheck |
| cameraAngleY | Rzk.TypeCheck |
| cameraAspectRatio | Rzk.TypeCheck |
| cameraFoV | Rzk.TypeCheck |
| cameraPos | Rzk.TypeCheck |
| checkCoherence | Rzk.TypeCheck |
| checkDefinedVar | Rzk.TypeCheck |
| checkEntails | Rzk.TypeCheck |
| checkHoleAgainstShape | Rzk.TypeCheck |
| checkNameShadowing | Rzk.TypeCheck |
| checkRecOrAgainst | Rzk.TypeCheck |
| checkTope | Rzk.TypeCheck |
| checkTopeAgainstContext | Rzk.TypeCheck |
| checkTopeEntails | Rzk.TypeCheck |
| checkTopLevelDuplicate | Rzk.TypeCheck |
| closeScope | Rzk.TypeCheck |
| coe | Rzk.TypeCheck |
| collectScopeDecls | Rzk.TypeCheck |
| Column | Language.Rzk.Syntax.Layout |
| column | Language.Rzk.Syntax.Layout |
| Command | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| Command' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandAssume | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandCheck | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandCompute | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandComputeNF | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandComputeWHNF | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| commandDef | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandDefine | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| commandDefineNoParams | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| commandDefNoParams | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandPostulate | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| commandPostulateNoParams | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandSection | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandSectionEnd | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandSetOption | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandUnsetOption | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| commandVariable | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| commandVariables | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| Comp | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| comp | Rzk.TypeCheck |
| componentWiseEQT | Rzk.TypeCheck |
| concatD | Language.Rzk.Syntax.Print |
| concatS | Language.Rzk.Syntax.Print |
| confirm | Language.Rzk.Syntax.Layout |
| containsHole | Rzk.TypeCheck |
| Context | |
| 1 (Type/Class) | Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck |
| contextBinders | Rzk.TypeCheck |
| contextEntails | Rzk.TypeCheck |
| contextEntailsBottom | Rzk.TypeCheck |
| contextEntailsUnion | Rzk.TypeCheck |
| Contravariant | Rzk.TypeCheck |
| countCommands | Rzk.TypeCheck |
| Covariance | Rzk.TypeCheck |
| covariance | Rzk.TypeCheck |
| Covariant | Rzk.TypeCheck |
| coverageHolds | Rzk.TypeCheck |
| Cube2 | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| Cube2E | Language.Rzk.Free.Syntax |
| Cube2F | Language.Rzk.Free.Syntax |
| cube2powerT | Rzk.TypeCheck |
| Cube2T | Language.Rzk.Free.Syntax |
| cube2T | Rzk.TypeCheck |
| Cube2TE | Language.Rzk.Free.Syntax |
| Cube2_0 | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| Cube2_0E | Language.Rzk.Free.Syntax |
| Cube2_0F | Language.Rzk.Free.Syntax |
| Cube2_0T | Language.Rzk.Free.Syntax |
| cube2_0T | Rzk.TypeCheck |
| Cube2_0TE | Language.Rzk.Free.Syntax |
| Cube2_1 | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| Cube2_1E | Language.Rzk.Free.Syntax |
| Cube2_1F | Language.Rzk.Free.Syntax |
| Cube2_1T | Language.Rzk.Free.Syntax |
| cube2_1T | Rzk.TypeCheck |
| Cube2_1TE | Language.Rzk.Free.Syntax |
| CubeCoords2D | |
| 1 (Type/Class) | Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck |
| CubeFlip | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| CubeFlipE | Language.Rzk.Free.Syntax |
| CubeFlipF | Language.Rzk.Free.Syntax |
| CubeFlipT | Language.Rzk.Free.Syntax |
| cubeFlipT | Rzk.TypeCheck |
| CubeFlipTE | Language.Rzk.Free.Syntax |
| CubeI | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| CubeIE | Language.Rzk.Free.Syntax |
| CubeIF | Language.Rzk.Free.Syntax |
| CubeIT | Language.Rzk.Free.Syntax |
| cubeIT | Rzk.TypeCheck |
| CubeITE | Language.Rzk.Free.Syntax |
| CubeI_0 | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| CubeI_0E | Language.Rzk.Free.Syntax |
| CubeI_0F | Language.Rzk.Free.Syntax |
| CubeI_0T | Language.Rzk.Free.Syntax |
| cubeI_0T | Rzk.TypeCheck |
| CubeI_0TE | Language.Rzk.Free.Syntax |
| CubeI_1 | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| CubeI_1E | Language.Rzk.Free.Syntax |
| CubeI_1F | Language.Rzk.Free.Syntax |
| CubeI_1T | Language.Rzk.Free.Syntax |
| cubeI_1T | Rzk.TypeCheck |
| CubeI_1TE | Language.Rzk.Free.Syntax |
| CubeProduct | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| CubeProductE | Language.Rzk.Free.Syntax |
| CubeProductF | Language.Rzk.Free.Syntax |
| CubeProductT | Language.Rzk.Free.Syntax |
| cubeProductT | Rzk.TypeCheck |
| CubeProductTE | Language.Rzk.Free.Syntax |
| cubeSubTopes | Rzk.TypeCheck |
| cubeT | Rzk.TypeCheck |
| CubeUnflip | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| CubeUnflipE | Language.Rzk.Free.Syntax |
| CubeUnflipF | Language.Rzk.Free.Syntax |
| CubeUnflipT | Language.Rzk.Free.Syntax |
| cubeUnflipT | Rzk.TypeCheck |
| CubeUnflipTE | Language.Rzk.Free.Syntax |
| CubeUnit | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| CubeUnitE | Language.Rzk.Free.Syntax |
| CubeUnitF | Language.Rzk.Free.Syntax |
| CubeUnitStar | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| CubeUnitStarE | Language.Rzk.Free.Syntax |
| CubeUnitStarF | Language.Rzk.Free.Syntax |
| CubeUnitStarT | Language.Rzk.Free.Syntax |
| cubeUnitStarT | Rzk.TypeCheck |
| CubeUnitStarTE | Language.Rzk.Free.Syntax |
| CubeUnitT | Language.Rzk.Free.Syntax |
| cubeUnitT | Rzk.TypeCheck |
| CubeUnitTE | Language.Rzk.Free.Syntax |
| currentCommand | Rzk.TypeCheck |