Index - D

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
defaultTypeCheckWithHolesRzk.TypeCheck
defaultTypeCheckWithHoles'Rzk.TypeCheck
defaultVarIdentsLanguage.Rzk.Free.Syntax
deferHoleMismatchesRzk.TypeCheck
DefinitiveLanguage.Rzk.Syntax.Layout
delimCloseLanguage.Rzk.Syntax.Layout
delimOpenLanguage.Rzk.Syntax.Layout
delimSepLanguage.Rzk.Syntax.Layout
destructuringBinderRzk.TypeCheck
desugarTupleLanguage.Rzk.Free.Syntax
diagnoseHoleRzk.Diagnostic
diagnoseTypeErrorRzk.Diagnostic
Diagnostic 
1 (Type/Class)Rzk.Diagnostic
2 (Data Constructor)Rzk.Diagnostic
diagnosticCodeRzk.Diagnostic
diagnosticHoleRzk.Diagnostic
diagnosticLocationRzk.Diagnostic
diagnosticMessageRzk.Diagnostic
diagnosticSeverityRzk.Diagnostic
DocLanguage.Rzk.Syntax.Print
docLanguage.Rzk.Syntax.Print
doesShadowNameRzk.TypeCheck