K | Language.Symantic.Typing.Kind, Language.Symantic.Typing, Language.Symantic |
KiConstraint | Language.Symantic.Typing.Kind, Language.Symantic.Typing, Language.Symantic |
KiFun | Language.Symantic.Typing.Kind, Language.Symantic.Typing, Language.Symantic |
Kind | Language.Symantic.Typing.Kind, Language.Symantic.Typing, Language.Symantic |
KindInj | Language.Symantic.Typing.Kind, Language.Symantic.Typing, Language.Symantic |
kindInj | Language.Symantic.Typing.Kind, Language.Symantic.Typing, Language.Symantic |
KindInjP | Language.Symantic.Typing.Kind, Language.Symantic.Typing, Language.Symantic |
kindInjP | Language.Symantic.Typing.Kind, Language.Symantic.Typing, Language.Symantic |
KindK | |
1 (Type/Class) | Language.Symantic.Typing.Kind, Language.Symantic.Typing, Language.Symantic |
2 (Data Constructor) | Language.Symantic.Typing.Kind, Language.Symantic.Typing, Language.Symantic |
KindOf | Language.Symantic.Typing.Kind, Language.Symantic.Typing, Language.Symantic |
kindOf | Language.Symantic.Typing.Kind, Language.Symantic.Typing, Language.Symantic |
kindOfConst | Language.Symantic.Typing.Type, Language.Symantic.Typing, Language.Symantic |
kindOfType | Language.Symantic.Typing.Type, Language.Symantic.Typing, Language.Symantic |
kindOfVar | Language.Symantic.Typing.Variable, Language.Symantic.Typing, Language.Symantic |
KiType | Language.Symantic.Typing.Kind, Language.Symantic.Typing, Language.Symantic |