Index - K
| Karrow | Language.Core.Core |
| Keq | Language.Core.Core |
| Kind | |
| 1 (Data Constructor) | Language.Core.Core |
| 2 (Type/Class) | Language.Core.Core |
| KindOrCoercion | Language.Core.Core |
| Klifted | Language.Core.Core |
| Kopen | Language.Core.Core |
| ktArrow | Language.Core.Core |
| ktUtuple | Language.Core.Core |
| Kunlifted | Language.Core.Core |