rzk-0.7.5: An experimental proof assistant for synthetic ∞-categories

Index

:+:Free.Scoped
abstractFree.Scoped
abstractAssumptionRzk.TypeCheck
ActionRzk.TypeCheck
Action'Rzk.TypeCheck
ActionCheckCoherenceRzk.TypeCheck
ActionCloseSectionRzk.TypeCheck
ActionContextEntailedByRzk.TypeCheck
ActionContextEntailsRzk.TypeCheck
ActionContextEquivRzk.TypeCheck
ActionInferRzk.TypeCheck
ActionNFRzk.TypeCheck
actionStackRzk.TypeCheck
ActionTypeCheckRzk.TypeCheck
ActionUnifyRzk.TypeCheck
ActionUnifyTermsRzk.TypeCheck
ActionWHNFRzk.TypeCheck
addImplicitLanguage.Rzk.Syntax.Layout
addParamDeclsRzk.TypeCheck
addParamsRzk.TypeCheck
addVarInCurrentScopeRzk.TypeCheck
addVarToScopeRzk.TypeCheck
afterPrevLanguage.Rzk.Syntax.Layout
AlexA#Language.Rzk.Syntax.Lex
AlexAcc 
1 (Type/Class)Language.Rzk.Syntax.Lex
2 (Data Constructor)Language.Rzk.Syntax.Lex
AlexAccNoneLanguage.Rzk.Syntax.Lex
AlexAccSkipLanguage.Rzk.Syntax.Lex
AlexAddrLanguage.Rzk.Syntax.Lex
AlexEOFLanguage.Rzk.Syntax.Lex
AlexErrorLanguage.Rzk.Syntax.Lex
alexGetByteLanguage.Rzk.Syntax.Lex
alexIndexInt16OffAddrLanguage.Rzk.Syntax.Lex
alexIndexInt32OffAddrLanguage.Rzk.Syntax.Lex
AlexInputLanguage.Rzk.Syntax.Lex
alexInputPrevCharLanguage.Rzk.Syntax.Lex
AlexLastAcc 
1 (Type/Class)Language.Rzk.Syntax.Lex
2 (Data Constructor)Language.Rzk.Syntax.Lex
AlexLastSkipLanguage.Rzk.Syntax.Lex
alexMoveLanguage.Rzk.Syntax.Lex
AlexNoneLanguage.Rzk.Syntax.Lex
AlexReturnLanguage.Rzk.Syntax.Lex
alexScanLanguage.Rzk.Syntax.Lex
alexScanUserLanguage.Rzk.Syntax.Lex
AlexSkipLanguage.Rzk.Syntax.Lex
alexStartPosLanguage.Rzk.Syntax.Lex
AlexTokenLanguage.Rzk.Syntax.Lex
alex_acceptLanguage.Rzk.Syntax.Lex
alex_actionsLanguage.Rzk.Syntax.Lex
alex_action_3Language.Rzk.Syntax.Lex
alex_action_4Language.Rzk.Syntax.Lex
alex_action_5Language.Rzk.Syntax.Lex
alex_action_6Language.Rzk.Syntax.Lex
alex_action_7Language.Rzk.Syntax.Lex
alex_baseLanguage.Rzk.Syntax.Lex
alex_checkLanguage.Rzk.Syntax.Lex
alex_defltLanguage.Rzk.Syntax.Lex
alex_scan_tknLanguage.Rzk.Syntax.Lex
alex_tableLanguage.Rzk.Syntax.Lex
alex_tab_sizeLanguage.Rzk.Syntax.Lex
allTopePointsRzk.TypeCheck
AnnF 
1 (Type/Class)Free.Scoped
2 (Data Constructor)Free.Scoped
annFFree.Scoped
App 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
AppELanguage.Rzk.Free.Syntax
AppFLanguage.Rzk.Free.Syntax
AppTLanguage.Rzk.Free.Syntax
appTRzk.TypeCheck
AppTELanguage.Rzk.Free.Syntax
ASCII_Cube2_0Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
ASCII_Cube2_1Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
ascii_CubeProductLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ASCII_CubeUnitStarLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ASCII_FirstLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ASCII_LambdaLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ASCII_RestrictionLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ASCII_SecondLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ASCII_TopeAndLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ASCII_TopeBottomLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ASCII_TopeEQLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ASCII_TopeLEQLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ASCII_TopeOrLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ASCII_TopeTopLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ASCII_TypeExtensionDeprecatedLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ASCII_TypeFunLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ASCII_TypeSigmaLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ASCII_TypeSigmaTupleLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
askCurrentScopeRzk.TypeCheck
BLanguage.Rzk.Syntax.Lex
BlockLanguage.Rzk.Syntax.Layout
blockRzk.TypeCheck
BNFC'NoPositionLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
BNFC'Position 
1 (Type/Class)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
BottomUpRzk.TypeCheck
BTreeLanguage.Rzk.Syntax.Lex
ByteLanguage.Rzk.Syntax.Lex
cachedModuleDeclsLanguage.Rzk.VSCode.Env
cachedModuleErrorsLanguage.Rzk.VSCode.Env
cacheTypecheckedModulesLanguage.Rzk.VSCode.Env
Camera 
1 (Type/Class)Rzk.TypeCheck
2 (Data Constructor)Rzk.TypeCheck
cameraAngleXRzk.TypeCheck
cameraAngleYRzk.TypeCheck
cameraAspectRatioRzk.TypeCheck
cameraFoVRzk.TypeCheck
cameraPosRzk.TypeCheck
checkCoherenceRzk.TypeCheck
checkDefinedVarRzk.TypeCheck
checkEntailsRzk.TypeCheck
checkNameShadowingRzk.TypeCheck
checkTopeRzk.TypeCheck
checkTopeEntailsRzk.TypeCheck
checkTopLevelDuplicateRzk.TypeCheck
collectScopeDeclsRzk.TypeCheck
ColumnLanguage.Rzk.Syntax.Layout
columnLanguage.Rzk.Syntax.Layout
CommandLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
Command'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
CommandAssumeLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
CommandCheckLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
CommandComputeLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
CommandComputeNFLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
CommandComputeWHNFLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
commandDefLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
CommandDefineLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
commandDefineNoParamsLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
commandDefNoParamsLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
CommandPostulateLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
commandPostulateNoParamsLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
CommandSectionLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
CommandSectionEndLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
CommandSetOptionLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
CommandUnsetOptionLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
commandVariableLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
commandVariablesLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
componentWiseEQTRzk.TypeCheck
concatDLanguage.Rzk.Syntax.Print
concatSLanguage.Rzk.Syntax.Print
confirmLanguage.Rzk.Syntax.Layout
Context 
1 (Type/Class)Rzk.TypeCheck
2 (Data Constructor)Rzk.TypeCheck
contextEntailedByRzk.TypeCheck
contextEntailsRzk.TypeCheck
contextEquivRzk.TypeCheck
ContravariantRzk.TypeCheck
countCommandsRzk.TypeCheck
CovarianceRzk.TypeCheck
covarianceRzk.TypeCheck
CovariantRzk.TypeCheck
Cube2 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
Cube2ELanguage.Rzk.Free.Syntax
Cube2FLanguage.Rzk.Free.Syntax
cube2powerTRzk.TypeCheck
Cube2TLanguage.Rzk.Free.Syntax
cube2TRzk.TypeCheck
Cube2TELanguage.Rzk.Free.Syntax
Cube2_0 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
Cube2_0ELanguage.Rzk.Free.Syntax
Cube2_0FLanguage.Rzk.Free.Syntax
Cube2_0TLanguage.Rzk.Free.Syntax
cube2_0TRzk.TypeCheck
Cube2_0TELanguage.Rzk.Free.Syntax
Cube2_1 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
Cube2_1ELanguage.Rzk.Free.Syntax
Cube2_1FLanguage.Rzk.Free.Syntax
Cube2_1TLanguage.Rzk.Free.Syntax
cube2_1TRzk.TypeCheck
Cube2_1TELanguage.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
CubeProductELanguage.Rzk.Free.Syntax
CubeProductFLanguage.Rzk.Free.Syntax
CubeProductTLanguage.Rzk.Free.Syntax
cubeProductTRzk.TypeCheck
CubeProductTELanguage.Rzk.Free.Syntax
cubeSubTopesRzk.TypeCheck
cubeTRzk.TypeCheck
CubeUnit 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
CubeUnitELanguage.Rzk.Free.Syntax
CubeUnitFLanguage.Rzk.Free.Syntax
CubeUnitStar 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
CubeUnitStarELanguage.Rzk.Free.Syntax
CubeUnitStarFLanguage.Rzk.Free.Syntax
CubeUnitStarTLanguage.Rzk.Free.Syntax
cubeUnitStarTRzk.TypeCheck
CubeUnitStarTELanguage.Rzk.Free.Syntax
CubeUnitTLanguage.Rzk.Free.Syntax
cubeUnitTRzk.TypeCheck
CubeUnitTELanguage.Rzk.Free.Syntax
currentCommandRzk.TypeCheck
DebugRzk.TypeCheck
Decl 
1 (Type/Class)Rzk.TypeCheck
2 (Data Constructor)Rzk.TypeCheck
Decl'Rzk.TypeCheck
declIsAssumptionRzk.TypeCheck
declLocationRzk.TypeCheck
declNameRzk.TypeCheck
declTypeRzk.TypeCheck
DeclUsedVars 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Type/Class)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
declUsedVarsRzk.TypeCheck
DeclUsedVars'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
declValueRzk.TypeCheck
defaultCameraRzk.TypeCheck
defaultRzkEnvLanguage.Rzk.VSCode.Env
defaultTypeCheckRzk.TypeCheck
defaultVarIdentsLanguage.Rzk.Free.Syntax
DefinitiveLanguage.Rzk.Syntax.Layout
delimCloseLanguage.Rzk.Syntax.Layout
delimOpenLanguage.Rzk.Syntax.Layout
delimSepLanguage.Rzk.Syntax.Layout
desugarTupleLanguage.Rzk.Free.Syntax
DocLanguage.Rzk.Syntax.Print
docLanguage.Rzk.Syntax.Print
doesShadowNameRzk.TypeCheck
Edge3DRzk.TypeCheck
edgesRzk.TypeCheck
eitherResIdentLanguage.Rzk.Syntax.Lex
EmptyFree.Scoped
emptyContextRzk.TypeCheck
endSectionRzk.TypeCheck
entailRzk.TypeCheck
entailMRzk.TypeCheck
entailTraceMRzk.TypeCheck
enterScopeRzk.TypeCheck
enterScopeContextRzk.TypeCheck
ErrLanguage.Rzk.Syntax.Lex
etaExpandRzk.TypeCheck
etaMatchRzk.TypeCheck
excludeRzk.Project.Config
expandRzkPathsOrYamlRzk.Main
ExplicitLanguage.Rzk.Syntax.Layout
ExtEFree.Scoped
extractFilesFromRzkYamlRzk.Main
extractMarkdownCodeBlocksLanguage.Rzk.Syntax
Face3DRzk.TypeCheck
facesRzk.TypeCheck
First 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
FirstELanguage.Rzk.Free.Syntax
FirstFLanguage.Rzk.Free.Syntax
FirstTLanguage.Rzk.Free.Syntax
firstTRzk.TypeCheck
FirstTELanguage.Rzk.Free.Syntax
formatRzk.Format
formatDocumentLanguage.Rzk.VSCode.Handlers
formatEnabledLanguage.Rzk.VSCode.Config
formatFileRzk.Format
formatFileWriteRzk.Format
formatTextEditsRzk.Format
FormattingEdit 
1 (Type/Class)Rzk.Format
2 (Data Constructor)Rzk.Format
FreeFree.Scoped
freeVarsLanguage.Rzk.Free.Syntax
freeVarsTLanguage.Rzk.Free.Syntax
freeVarsT_Rzk.TypeCheck
fromAffineRzk.TypeCheck
fromScope'Language.Rzk.Free.Syntax
fromTerm'Language.Rzk.Free.Syntax
fromTermWith'Language.Rzk.Free.Syntax
fromTypeErrorRzk.TypeCheck
fromVarIdentLanguage.Rzk.Free.Syntax
FSFree.Scoped
generateTopesRzk.TypeCheck
generateTopesForPointsRzk.TypeCheck
generateTopesForPointsMRzk.TypeCheck
getCachedTypecheckedModulesLanguage.Rzk.VSCode.Env
getTypeLanguage.Rzk.Free.Syntax
getVarIdentLanguage.Rzk.Free.Syntax
globNonEmptyRzk.Main
handleFilesChangedLanguage.Rzk.VSCode.Handlers
handlersLanguage.Rzk.VSCode.Lsp
happyErrorLanguage.Rzk.Syntax.Par
HasPositionLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
hasPositionLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
HoleLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
HoleIdent 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Type/Class)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
HoleIdent'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
HoleIdentToken 
1 (Type/Class)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
IdJ 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
IdJELanguage.Rzk.Free.Syntax
IdJFLanguage.Rzk.Free.Syntax
IdJTLanguage.Rzk.Free.Syntax
idJTRzk.TypeCheck
IdJTELanguage.Rzk.Free.Syntax
ImplicitLanguage.Rzk.Syntax.Layout
inAllSubContextsRzk.TypeCheck
IncFree.Scoped
incIndexLanguage.Rzk.Free.Syntax
includeRzk.Project.Config
inCubeLayerRzk.TypeCheck
incVarIdentIndexLanguage.Rzk.Free.Syntax
indentationLanguage.Rzk.Syntax.Layout
inferRzk.TypeCheck
inferAsRzk.TypeCheck
inferStandaloneRzk.TypeCheck
infoNFLanguage.Rzk.Free.Syntax
infoTypeLanguage.Rzk.Free.Syntax
infoWHNFLanguage.Rzk.Free.Syntax
InLFree.Scoped
InRFree.Scoped
insertExplicitAssumptionForRzk.TypeCheck
insertExplicitAssumptionFor'Rzk.TypeCheck
instantiateFree.Scoped
inTopeLayerRzk.TypeCheck
invalidateWHNFLanguage.Rzk.Free.Syntax
isImplicitLanguage.Rzk.Syntax.Layout
isLayoutLanguage.Rzk.Syntax.Layout
isLayoutCloseLanguage.Rzk.Syntax.Layout
isLayoutOpenLanguage.Rzk.Syntax.Layout
isLayoutSepLanguage.Rzk.Syntax.Layout
isParenCloseLanguage.Rzk.Syntax.Layout
isParenOpenLanguage.Rzk.Syntax.Layout
isStopLanguage.Rzk.Syntax.Layout
issueTypeErrorRzk.TypeCheck
issueWarningRzk.TypeCheck
isTokenInLanguage.Rzk.Syntax.Layout
isWellFormattedRzk.Format
isWellFormattedFileRzk.Format
Lambda 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
LambdaELanguage.Rzk.Free.Syntax
LambdaFLanguage.Rzk.Free.Syntax
LambdaTLanguage.Rzk.Free.Syntax
lambdaTRzk.TypeCheck
LambdaTELanguage.Rzk.Free.Syntax
LanguageLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
Language'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
LanguageDecl 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Type/Class)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
LanguageDecl'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
layoutCloseLanguage.Rzk.Syntax.Layout
LayoutDelimiters 
1 (Type/Class)Language.Rzk.Syntax.Layout
2 (Data Constructor)Language.Rzk.Syntax.Layout
layoutErrorLanguage.Rzk.Syntax.Layout
layoutOpenLanguage.Rzk.Syntax.Layout
layoutSepLanguage.Rzk.Syntax.Layout
layoutStopWordsLanguage.Rzk.Syntax.Layout
layoutWordsLanguage.Rzk.Syntax.Layout
limitLengthRzk.TypeCheck
LineLanguage.Rzk.Syntax.Layout
lineLanguage.Rzk.Syntax.Layout
localDeclRzk.TypeCheck
localDeclPreparedRzk.TypeCheck
localDeclsRzk.TypeCheck
localDeclsPreparedRzk.TypeCheck
localRenderBackendRzk.TypeCheck
localScopesRzk.TypeCheck
localTopeRzk.TypeCheck
localTopesRzk.TypeCheck
localTopesEntailBottomRzk.TypeCheck
localTopesNFRzk.TypeCheck
localTopesNFUnionRzk.TypeCheck
localVerbosityRzk.TypeCheck
locationRzk.TypeCheck
locationFilePathRzk.TypeCheck
LocationInfo 
1 (Type/Class)Rzk.TypeCheck
2 (Data Constructor)Rzk.TypeCheck
locationLineRzk.TypeCheck
logDebugLanguage.Rzk.VSCode.Logging
logErrorLanguage.Rzk.VSCode.Logging
logInfoLanguage.Rzk.VSCode.Logging
logWarningLanguage.Rzk.VSCode.Logging
LSPLanguage.Rzk.VSCode.Env
makeAssumptionExplicitRzk.TypeCheck
makeCompletePragmaFree.Scoped.TH
makeCompletePragmaEFree.Scoped.TH
makeCompletePragmaTFree.Scoped.TH
makeCompletePragmaTEFree.Scoped.TH
makePatternEForFree.Scoped.TH
makePatternForFree.Scoped.TH
makePatternsAllFree.Scoped.TH
makePatternTEForFree.Scoped.TH
makePatternTForFree.Scoped.TH
Matrix3D 
1 (Type/Class)Rzk.TypeCheck
2 (Data Constructor)Rzk.TypeCheck
matrix3Dto4DRzk.TypeCheck
Matrix4D 
1 (Type/Class)Rzk.TypeCheck
2 (Data Constructor)Rzk.TypeCheck
matrixVectorMult4DRzk.TypeCheck
maxDiagnosticCountLanguage.Rzk.VSCode.Lsp
mkConPFree.Scoped.TH
mkEscLanguage.Rzk.Syntax.Print
mkPosTokenLanguage.Rzk.Syntax.Lex
mkTokenLanguage.Rzk.VSCode.Tokenize
Module 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Type/Class)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
Module'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
myLexerLanguage.Rzk.Syntax.Par
NLanguage.Rzk.Syntax.Lex
namedBlockRzk.TypeCheck
newLineLanguage.Rzk.Syntax.Layout
nextPosLanguage.Rzk.Syntax.Layout
nfTRzk.TypeCheck
nfTopeRzk.TypeCheck
noDeclUsedVarsLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
NormalRzk.TypeCheck
NoSectionNameLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
nubTermTRzk.TypeCheck
OutputDirectionRzk.TypeCheck
Pair 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
PairELanguage.Rzk.Free.Syntax
PairFLanguage.Rzk.Free.Syntax
PairTLanguage.Rzk.Free.Syntax
pairTRzk.TypeCheck
PairTELanguage.Rzk.Free.Syntax
panicImpossibleRzk.TypeCheck
ParamLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
Param'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
ParamDeclLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ParamDecl'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
ParamPatternLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ParamPatternShapeLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ParamPatternShapeDeprecatedLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ParamPatternTypeLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ParamTermShapeLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ParamTermTypeLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ParamTermTypeDeprecatedLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
paramToParamDeclRzk.TypeCheck
ParamTypeLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ParamVarShapeDeprecatedLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
paramVarShapeDeprecatedLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
parenCloseLanguage.Rzk.Syntax.Layout
parenOpenLanguage.Rzk.Syntax.Layout
parenthLanguage.Rzk.Syntax.Print
parseModuleLanguage.Rzk.Syntax
parseModuleFileLanguage.Rzk.Syntax
parseModuleRzkLanguage.Rzk.Syntax
parseModuleSafeLanguage.Rzk.Syntax
parseRzkFilesOrStdinRzk.Main
parseStdinRzk.Main
parseTermLanguage.Rzk.Syntax
partialFreeVarsTLanguage.Rzk.Free.Syntax
PatternLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
Pattern'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
PatternPairLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
patternToTermLanguage.Rzk.Free.Syntax
PatternTupleLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
PatternUnitLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
PatternVarLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
pCommandLanguage.Rzk.Syntax.Par
pDeclUsedVarsLanguage.Rzk.Syntax.Par
performingRzk.TypeCheck
pHoleIdentLanguage.Rzk.Syntax.Par
PlainTypeErrorRzk.TypeCheck
pLanguageLanguage.Rzk.Syntax.Par
pLanguageDeclLanguage.Rzk.Syntax.Par
pListCommandLanguage.Rzk.Syntax.Par
pListParamLanguage.Rzk.Syntax.Par
pListPatternLanguage.Rzk.Syntax.Par
pListRestrictionLanguage.Rzk.Syntax.Par
pListSigmaParamLanguage.Rzk.Syntax.Par
pListTermLanguage.Rzk.Syntax.Par
pListVarIdentLanguage.Rzk.Syntax.Par
pModuleLanguage.Rzk.Syntax.Par
PnLanguage.Rzk.Syntax.Lex
Point2DRzk.TypeCheck
Point3DRzk.TypeCheck
point3Dto2DRzk.TypeCheck
PointIdRzk.TypeCheck
PositionLanguage.Rzk.Syntax.Layout
posLineColLanguage.Rzk.Syntax.Lex
PosnLanguage.Rzk.Syntax.Lex
ppActionRzk.TypeCheck
pParamLanguage.Rzk.Syntax.Par
pParamDeclLanguage.Rzk.Syntax.Par
pPatternLanguage.Rzk.Syntax.Par
ppContext'Rzk.TypeCheck
ppRzkPositionLanguage.Rzk.Free.Syntax
ppSomeActionRzk.TypeCheck
ppTermInContextRzk.TypeCheck
ppTypeError'Rzk.TypeCheck
ppTypeErrorInContextRzk.TypeCheck
ppTypeErrorInScopedContext'Rzk.TypeCheck
ppTypeErrorInScopedContextWith'Rzk.TypeCheck
ppVarIdentWithLocationLanguage.Rzk.Free.Syntax
pRestrictionLanguage.Rzk.Syntax.Par
PrintLanguage.Rzk.Syntax.Print, Language.Rzk.Syntax
printPosnLanguage.Rzk.Syntax.Lex
printStringLanguage.Rzk.Syntax.Print
printTree 
1 (Function)Language.Rzk.Syntax.Print
2 (Function)Language.Rzk.Syntax
project2DRzk.TypeCheck
ProjectConfig 
1 (Type/Class)Rzk.Project.Config
2 (Data Constructor)Rzk.Project.Config
provideCompletionsLanguage.Rzk.VSCode.Handlers
provideSemanticTokensLanguage.Rzk.VSCode.Handlers
prPrecLanguage.Rzk.Syntax.Print
prtLanguage.Rzk.Syntax.Print, Language.Rzk.Syntax
prTokenLanguage.Rzk.Syntax.Lex
pSectionNameLanguage.Rzk.Syntax.Par
pSigmaParamLanguage.Rzk.Syntax.Par
PTLanguage.Rzk.Syntax.Lex
pTermLanguage.Rzk.Syntax.Par
pTerm1Language.Rzk.Syntax.Par
pTerm2Language.Rzk.Syntax.Par
pTerm3Language.Rzk.Syntax.Par
pTerm4Language.Rzk.Syntax.Par
pTerm5Language.Rzk.Syntax.Par
pTerm6Language.Rzk.Syntax.Par
pTerm7Language.Rzk.Syntax.Par
PureFree.Scoped
pVarIdentLanguage.Rzk.Syntax.Par
quickIndexLanguage.Rzk.Syntax.Lex
RecBottom 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
RecBottomELanguage.Rzk.Free.Syntax
RecBottomFLanguage.Rzk.Free.Syntax
RecBottomTLanguage.Rzk.Free.Syntax
recBottomTRzk.TypeCheck
RecBottomTELanguage.Rzk.Free.Syntax
RecOr 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
RecOrDeprecatedLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
RecOrELanguage.Rzk.Free.Syntax
RecOrFLanguage.Rzk.Free.Syntax
RecOrTLanguage.Rzk.Free.Syntax
recOrTRzk.TypeCheck
RecOrTELanguage.Rzk.Free.Syntax
Refl 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
ReflELanguage.Rzk.Free.Syntax
ReflFLanguage.Rzk.Free.Syntax
ReflTLanguage.Rzk.Free.Syntax
reflTRzk.TypeCheck
ReflTELanguage.Rzk.Free.Syntax
ReflTermLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ReflTermTypeLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
refreshVarLanguage.Rzk.Free.Syntax
renderLanguage.Rzk.Syntax.Print
RenderBackendRzk.TypeCheck
renderBackendRzk.TypeCheck
renderCubeRzk.TypeCheck
renderForSubShapeSVGRzk.TypeCheck
renderForSVGRzk.TypeCheck
RenderLaTeXRzk.TypeCheck
RenderObjectData 
1 (Type/Class)Rzk.TypeCheck
2 (Data Constructor)Rzk.TypeCheck
renderObjectDataColorRzk.TypeCheck
renderObjectDataFullLabelRzk.TypeCheck
renderObjectDataLabelRzk.TypeCheck
renderObjectsForRzk.TypeCheck
renderObjectsInSubShapeForRzk.TypeCheck
RenderSVGRzk.TypeCheck
renderTermSVGRzk.TypeCheck
renderTermSVG'Rzk.TypeCheck
renderTermSVGForRzk.TypeCheck
replicateSLanguage.Rzk.Syntax.Print
resetCacheForAllFilesLanguage.Rzk.VSCode.Env
resetCacheForFilesLanguage.Rzk.VSCode.Env
resolveLayout 
1 (Function)Language.Rzk.Syntax.Layout
2 (Function)Language.Rzk.Syntax
Restriction 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Type/Class)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
Restriction'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
resWordsLanguage.Rzk.Syntax.Lex
rotateXRzk.TypeCheck
rotateYRzk.TypeCheck
rotateZRzk.TypeCheck
runLspLanguage.Rzk.VSCode.Lsp
Rzk1Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
RzkCachedModule 
1 (Type/Class)Language.Rzk.VSCode.Env
2 (Data Constructor)Language.Rzk.VSCode.Env
RzkEnv 
1 (Type/Class)Language.Rzk.VSCode.Env
2 (Data Constructor)Language.Rzk.VSCode.Env
rzkEnvTypecheckCacheLanguage.Rzk.VSCode.Env
rzkFilePathLanguage.Rzk.Free.Syntax
rzkLineColLanguage.Rzk.Free.Syntax
RzkPosition 
1 (Type/Class)Language.Rzk.Free.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
RzkTypecheckCacheLanguage.Rzk.VSCode.Env
SFree.Scoped
saturateTopesRzk.TypeCheck
saturateWithRzk.TypeCheck
ScopeFree.Scoped
ScopedTypeErrorRzk.TypeCheck
ScopeInfo 
1 (Type/Class)Rzk.TypeCheck
2 (Data Constructor)Rzk.TypeCheck
scopeNameRzk.TypeCheck
scopeToDeclsRzk.TypeCheck
scopeVarsRzk.TypeCheck
Second 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
SecondELanguage.Rzk.Free.Syntax
SecondFLanguage.Rzk.Free.Syntax
SecondTLanguage.Rzk.Free.Syntax
secondTRzk.TypeCheck
SecondTELanguage.Rzk.Free.Syntax
SectionNameLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
SectionName'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
ServerConfig 
1 (Type/Class)Language.Rzk.VSCode.Config
2 (Data Constructor)Language.Rzk.VSCode.Config
setOptionRzk.TypeCheck
ShapeIdRzk.TypeCheck
SigmaParam 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Type/Class)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
SigmaParam'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
SilentRzk.TypeCheck
simplifyLHSRzk.TypeCheck
simplifyLHSwithDisjunctionsRzk.TypeCheck
solveRHSRzk.TypeCheck
solveRHSMRzk.TypeCheck
SomeSectionNameLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
splitsRzk.TypeCheck
splitSectionCommandsRzk.TypeCheck
startSectionRzk.TypeCheck
StatusLanguage.Rzk.Syntax.Layout
sTokenLanguage.Rzk.Syntax.Layout
stripTypeRestrictionsRzk.TypeCheck
subPointsRzk.TypeCheck
substituteFree.Scoped
substituteTLanguage.Rzk.Free.Syntax
subTopes2Rzk.TypeCheck
SumFree.Scoped
switchVarianceRzk.TypeCheck
syncOptionsLanguage.Rzk.VSCode.Lsp
TCLanguage.Rzk.Syntax.Lex
TDLanguage.Rzk.Syntax.Lex
TentativeLanguage.Rzk.Syntax.Layout
Term 
1 (Type/Class)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Type/Class)Language.Rzk.Free.Syntax
Term' 
1 (Type/Class)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Type/Class)Language.Rzk.Free.Syntax
TermFLanguage.Rzk.Free.Syntax
termFFree.Scoped
termIsNFLanguage.Rzk.Free.Syntax
termIsWHNFLanguage.Rzk.Free.Syntax
TermTLanguage.Rzk.Free.Syntax
TermT'Language.Rzk.Free.Syntax
TILanguage.Rzk.Syntax.Lex
TKLanguage.Rzk.Syntax.Lex
TLLanguage.Rzk.Syntax.Lex
TokLanguage.Rzk.Syntax.Lex
tokLanguage.Rzk.Syntax.Lex
TokenLanguage.Rzk.Syntax.Lex
tokenizeCommandLanguage.Rzk.VSCode.Tokenize
tokenizeLanguageDeclLanguage.Rzk.VSCode.Tokenize
tokenizeModuleLanguage.Rzk.VSCode.Tokenize
tokenizeParamLanguage.Rzk.VSCode.Tokenize
tokenizeParamDeclLanguage.Rzk.VSCode.Tokenize
tokenizePatternLanguage.Rzk.VSCode.Tokenize
tokenizeRestrictionLanguage.Rzk.VSCode.Tokenize
tokenizeSigmaParamLanguage.Rzk.VSCode.Tokenize
tokenizeTermLanguage.Rzk.VSCode.Tokenize
tokenizeTerm'Language.Rzk.VSCode.Tokenize
tokenizeTopeLanguage.Rzk.VSCode.Tokenize
tokenLengthLanguage.Rzk.Syntax.Layout
tokenLineColLanguage.Rzk.Syntax.Lex
tokenPosLanguage.Rzk.Syntax.Lex
tokenPosnLanguage.Rzk.Syntax.Lex
tokensLanguage.Rzk.Syntax.Lex
tokenTextLanguage.Rzk.Syntax.Lex
TokSymbol 
1 (Type/Class)Language.Rzk.Syntax.Lex
2 (Data Constructor)Language.Rzk.Syntax.Lex
TopDownRzk.TypeCheck
TopeAnd 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
TopeAndELanguage.Rzk.Free.Syntax
TopeAndFLanguage.Rzk.Free.Syntax
TopeAndTLanguage.Rzk.Free.Syntax
topeAndTRzk.TypeCheck
TopeAndTELanguage.Rzk.Free.Syntax
TopeBottom 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
TopeBottomELanguage.Rzk.Free.Syntax
TopeBottomFLanguage.Rzk.Free.Syntax
TopeBottomTLanguage.Rzk.Free.Syntax
topeBottomTRzk.TypeCheck
TopeBottomTELanguage.Rzk.Free.Syntax
TopeEQ 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
TopeEQELanguage.Rzk.Free.Syntax
TopeEQFLanguage.Rzk.Free.Syntax
TopeEQTLanguage.Rzk.Free.Syntax
topeEQTRzk.TypeCheck
TopeEQTELanguage.Rzk.Free.Syntax
TopeLEQ 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
TopeLEQELanguage.Rzk.Free.Syntax
TopeLEQFLanguage.Rzk.Free.Syntax
TopeLEQTLanguage.Rzk.Free.Syntax
topeLEQTRzk.TypeCheck
TopeLEQTELanguage.Rzk.Free.Syntax
TopeOr 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
TopeOrELanguage.Rzk.Free.Syntax
TopeOrFLanguage.Rzk.Free.Syntax
TopeOrTLanguage.Rzk.Free.Syntax
topeOrTRzk.TypeCheck
TopeOrTELanguage.Rzk.Free.Syntax
topePointsRzk.TypeCheck
topesEquivRzk.TypeCheck
topeTRzk.TypeCheck
TopeTop 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
TopeTopELanguage.Rzk.Free.Syntax
TopeTopFLanguage.Rzk.Free.Syntax
TopeTopTLanguage.Rzk.Free.Syntax
topeTopTRzk.TypeCheck
TopeTopTELanguage.Rzk.Free.Syntax
toScopeLanguage.Rzk.Free.Syntax
toScopePatternLanguage.Rzk.Free.Syntax
toTermLanguage.Rzk.Free.Syntax
toTerm'Language.Rzk.Free.Syntax
trace'Rzk.TypeCheck
traceAction'Rzk.TypeCheck
traceStartAndFinishRzk.TypeCheck
traceTypeCheckRzk.TypeCheck
transFSFree.Scoped
tryExtractMarkdownCodeBlocksLanguage.Rzk.Syntax
tryOrDisplayExceptionLanguage.Rzk.Syntax
tryOrDisplayExceptionIOLanguage.Rzk.Syntax
tryRestrictionRzk.TypeCheck
TSLanguage.Rzk.Syntax.Lex
tsIDLanguage.Rzk.Syntax.Lex
tsTextLanguage.Rzk.Syntax.Lex
TupleLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
TVLanguage.Rzk.Syntax.Lex
Type 
1 (Type/Class)Language.Rzk.Free.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
TypeAsc 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
TypeAscELanguage.Rzk.Free.Syntax
TypeAscFLanguage.Rzk.Free.Syntax
TypeAscTLanguage.Rzk.Free.Syntax
typeAscTRzk.TypeCheck
TypeAscTELanguage.Rzk.Free.Syntax
TypeCheckRzk.TypeCheck
typecheckRzk.TypeCheck
typecheckFromConfigFileLanguage.Rzk.VSCode.Handlers
typecheckModuleRzk.TypeCheck
typecheckModulesRzk.TypeCheck
typecheckModulesWithLocationRzk.TypeCheck
typecheckModulesWithLocation'Rzk.TypeCheck
typecheckModulesWithLocationIncrementalRzk.TypeCheck
typecheckModuleWithLocationRzk.TypeCheck
typecheckStringRzk.Main
TypeErrorRzk.TypeCheck
TypeError'Rzk.TypeCheck
TypeErrorCannotInferBareLambdaRzk.TypeCheck
TypeErrorCannotInferBareReflRzk.TypeCheck
typeErrorContextRzk.TypeCheck
TypeErrorDuplicateTopLevelRzk.TypeCheck
typeErrorErrorRzk.TypeCheck
TypeErrorImplicitAssumptionRzk.TypeCheck
TypeErrorInContext 
1 (Type/Class)Rzk.TypeCheck
2 (Data Constructor)Rzk.TypeCheck
TypeErrorInScopedContextRzk.TypeCheck
TypeErrorInvalidArgumentTypeRzk.TypeCheck
TypeErrorNotFunctionRzk.TypeCheck
TypeErrorNotPairRzk.TypeCheck
TypeErrorOtherRzk.TypeCheck
TypeErrorTopeNotSatisfiedRzk.TypeCheck
TypeErrorTopesNotEquivalentRzk.TypeCheck
TypeErrorUndefinedRzk.TypeCheck
TypeErrorUnexpectedLambdaRzk.TypeCheck
TypeErrorUnexpectedPairRzk.TypeCheck
TypeErrorUnexpectedReflRzk.TypeCheck
TypeErrorUnifyRzk.TypeCheck
TypeErrorUnifyTermsRzk.TypeCheck
TypeErrorUnusedUsedVariablesRzk.TypeCheck
TypeErrorUnusedVariableRzk.TypeCheck
TypeExtensionDeprecatedLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
TypeFun 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
TypeFunELanguage.Rzk.Free.Syntax
TypeFunFLanguage.Rzk.Free.Syntax
TypeFunTLanguage.Rzk.Free.Syntax
typeFunTRzk.TypeCheck
TypeFunTELanguage.Rzk.Free.Syntax
TypeId 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
TypeIdELanguage.Rzk.Free.Syntax
TypeIdFLanguage.Rzk.Free.Syntax
TypeIdSimpleLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
TypeIdTLanguage.Rzk.Free.Syntax
typeIdTRzk.TypeCheck
TypeIdTELanguage.Rzk.Free.Syntax
TypeInfo 
1 (Type/Class)Language.Rzk.Free.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
typeOfRzk.TypeCheck
typeOfUncomputedRzk.TypeCheck
typeOfVarRzk.TypeCheck
TypeRestricted 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
TypeRestrictedELanguage.Rzk.Free.Syntax
TypeRestrictedFLanguage.Rzk.Free.Syntax
TypeRestrictedTLanguage.Rzk.Free.Syntax
typeRestrictedTRzk.TypeCheck
TypeRestrictedTELanguage.Rzk.Free.Syntax
TypeSigma 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
TypeSigmaELanguage.Rzk.Free.Syntax
TypeSigmaFLanguage.Rzk.Free.Syntax
TypeSigmaTLanguage.Rzk.Free.Syntax
typeSigmaTRzk.TypeCheck
TypeSigmaTELanguage.Rzk.Free.Syntax
TypeSigmaTupleLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
TypeUnit 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
TypeUnitELanguage.Rzk.Free.Syntax
TypeUnitFLanguage.Rzk.Free.Syntax
TypeUnitTLanguage.Rzk.Free.Syntax
typeUnitTRzk.TypeCheck
TypeUnitTELanguage.Rzk.Free.Syntax
T_HoleIdentTokenLanguage.Rzk.Syntax.Lex
T_VarIdentTokenLanguage.Rzk.Syntax.Lex
unescapeInitTailLanguage.Rzk.Syntax.Lex
unicode_TypeSigmaAltLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
unicode_TypeSigmaTupleAltLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
unifyRzk.TypeCheck
unifyInCurrentContextRzk.TypeCheck
unifyTermsRzk.TypeCheck
unifyTopesRzk.TypeCheck
unifyTypesRzk.TypeCheck
unifyViaDecomposeRzk.TypeCheck
Unit 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
UnitELanguage.Rzk.Free.Syntax
UnitFLanguage.Rzk.Free.Syntax
UnitTLanguage.Rzk.Free.Syntax
unitTRzk.TypeCheck
UnitTELanguage.Rzk.Free.Syntax
Universe 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
UniverseCube 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
UniverseCubeELanguage.Rzk.Free.Syntax
UniverseCubeFLanguage.Rzk.Free.Syntax
UniverseCubeTLanguage.Rzk.Free.Syntax
UniverseCubeTELanguage.Rzk.Free.Syntax
UniverseELanguage.Rzk.Free.Syntax
UniverseFLanguage.Rzk.Free.Syntax
UniverseTLanguage.Rzk.Free.Syntax
universeTRzk.TypeCheck
UniverseTELanguage.Rzk.Free.Syntax
UniverseTope 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
UniverseTopeELanguage.Rzk.Free.Syntax
UniverseTopeFLanguage.Rzk.Free.Syntax
UniverseTopeTLanguage.Rzk.Free.Syntax
UniverseTopeTELanguage.Rzk.Free.Syntax
unsafeInferStandalone'Rzk.TypeCheck
unsafeTermToPatternLanguage.Rzk.Free.Syntax
unsafeTraceAction'Rzk.TypeCheck
unsafeTypeCheck'Rzk.TypeCheck
unsetOptionRzk.TypeCheck
untypedFree.Scoped
utf8EncodeLanguage.Rzk.Syntax.Lex
valueOfVarRzk.TypeCheck
VarLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
varDeclaredAssumptionsRzk.TypeCheck
VarIdent 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Type/Class)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
3 (Type/Class)Language.Rzk.Free.Syntax
4 (Data Constructor)Language.Rzk.Free.Syntax
varIdentLanguage.Rzk.Free.Syntax
VarIdent'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
varIdentAtLanguage.Rzk.Free.Syntax
VarIdentToken 
1 (Type/Class)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
VarInfo 
1 (Type/Class)Rzk.TypeCheck
2 (Data Constructor)Rzk.TypeCheck
varInfosRzk.TypeCheck
varIsAssumptionRzk.TypeCheck
varLocationRzk.TypeCheck
varOrigRzk.TypeCheck
varOrigsRzk.TypeCheck
varTypeRzk.TypeCheck
varTypesRzk.TypeCheck
varValueRzk.TypeCheck
varValuesRzk.TypeCheck
Vector3D 
1 (Type/Class)Rzk.TypeCheck
2 (Data Constructor)Rzk.TypeCheck
Vector4D 
1 (Type/Class)Rzk.TypeCheck
2 (Data Constructor)Rzk.TypeCheck
VerbosityRzk.TypeCheck
verbosityRzk.TypeCheck
verticesRzk.TypeCheck
verticesFromRzk.TypeCheck
viewRotateXRzk.TypeCheck
viewRotateYRzk.TypeCheck
viewTranslateRzk.TypeCheck
Volume3DRzk.TypeCheck
volumesRzk.TypeCheck
whnfTRzk.TypeCheck
withCommandRzk.TypeCheck
withLocationRzk.TypeCheck
withPartialDeclsRzk.TypeCheck
withSectionRzk.TypeCheck
ZFree.Scoped