| 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 |
| checkNameShadowing | Rzk.TypeCheck |
| checkTope | Rzk.TypeCheck |
| checkTopeEntails | Rzk.TypeCheck |
| checkTopLevelDuplicate | 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 |
| 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 |
| componentWiseEQT | Rzk.TypeCheck |
| concatD | Language.Rzk.Syntax.Print |
| concatS | Language.Rzk.Syntax.Print |
| confirm | Language.Rzk.Syntax.Layout |
| Context | |
| 1 (Type/Class) | Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck |
| contextEntailedBy | Rzk.TypeCheck |
| contextEntails | Rzk.TypeCheck |
| contextEquiv | Rzk.TypeCheck |
| Contravariant | Rzk.TypeCheck |
| countCommands | Rzk.TypeCheck |
| Covariance | Rzk.TypeCheck |
| covariance | Rzk.TypeCheck |
| Covariant | 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 |
| 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 |
| 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 |