KA | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KAmpersand | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KAngleBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KAngleColonBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KAngleColonKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KAngleKet | 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 |
KBar | 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 |
KBraceBra | 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 |
KColon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KColonColon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
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 |
KDash | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
kData | DDC.Type.Compounds, 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 |
KElse | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KEquals | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KExports | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
keywords | DDC.Core.Lexer.Names, DDC.Core.Lexer |
KForget | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
kFun | DDC.Type.Compounds, DDC.Core.Compounds |
kFuns | DDC.Type.Compounds, DDC.Core.Compounds |
KHat | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KiCon | DDC.Type.Exp, DDC.Core.Exp |
KiConClosure | DDC.Type.Exp, DDC.Core.Exp |
KiConData | DDC.Type.Exp, DDC.Core.Exp |
KiConEffect | DDC.Type.Exp, DDC.Core.Exp |
KiConFun | DDC.Type.Exp, DDC.Core.Exp |
KiConRegion | DDC.Type.Exp, DDC.Core.Exp |
KiConWitness | DDC.Type.Exp, DDC.Core.Exp |
KImports | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KIn | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
Kind | DDC.Type.Exp, DDC.Core.Exp |
KindEnv | DDC.Type.Env |
KIndex | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
kindOfSum | DDC.Type.Sum |
kindOfTcCon | DDC.Type.Check |
kindOfTwCon | DDC.Type.Check |
kindOfType | DDC.Type.Check |
KJunk | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KKindClosure | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KKindEffect | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KKindRegion | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KKindValue | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KKindWitness | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KLazy | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KLet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KLetRec | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KLetRegion | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KLetRegions | 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 |
KPlus | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KPurify | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
kRegion | DDC.Type.Compounds, DDC.Core.Compounds |
KRoundBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KRoundKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KSemiColon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KSortComp | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KSortProp | 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 |
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 |