KA | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KArrowDash | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KArrowDashLeft | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KArrowEquals | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KArrowTilde | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KBackSlash | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KBigLambda | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KBotClosure | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KBotEffect | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KBox | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KBraceBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KBraceColonBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KBraceColonKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KBraceKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KCase | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
kClosure | DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds |
KComma | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KCommentBlockEnd | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KCommentBlockStart | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KCommentLineStart | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KCommentUnterminated | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KCon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KDaConUnit | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KData | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
kData | DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds |
KDo | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KDot | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
kEffect | DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds |
KElse | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KExport | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KExtend | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
keywords | DDC.Core.Lexer.Names, DDC.Core.Lexer |
KForeign | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KForget | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
kFun | DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds |
kFuns | DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds |
KHat | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KiCon | DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp |
KiConClosure | DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp |
KiConData | DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp |
KiConEffect | DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp |
KiConFun | DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp |
KiConRegion | DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp |
KiConWitness | DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp |
KImport | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KIn | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
Kind | DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp |
KindEnv | DDC.Type.Env |
KIndex | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
kindOfDataDef | DDC.Type.DataDef |
kindOfDataType | DDC.Type.DataDef |
kindOfSpec | DDC.Type.Check |
kindOfSum | DDC.Type.Sum |
kindOfTcCon | DDC.Type.Check |
kindOfTwCon | DDC.Type.Check |
KJunk | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KKiConBuiltin | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KLet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KLetCase | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KLetRec | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KLit | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KM | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KMatch | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KModule | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KN | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KNewLine | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KOf | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KOffsideClosingBrace | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KOp | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KOpVar | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KPrivate | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KPurify | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
kRegion | DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds |
KRoundBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KRoundKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KRun | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KSemiColon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KSoConBuiltin | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KSquareBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KSquareColonBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KSquareColonKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KSquareKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KTcConBuiltin | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KTwConBuiltin | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KType | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KUnderscore | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KUsing | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KValue | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KVar | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KWbConBuiltin | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KWeakClo | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KWeakEff | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KWhere | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KWith | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KWithRegion | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
kWitness | DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds |