Index - K
| KAbs | Language.Nominal.Abs, Language.Nominal |
| kapart | Language.Nominal.NameSet, Language.Nominal |
| KAtom | Language.Nominal.Name, Language.Nominal |
| kbinderToNom | Language.Nominal.Binder, Language.Nominal |
| KEvFinMap | Language.Nominal.Equivar, Language.Nominal |
| KEvFun | Language.Nominal.Equivar, Language.Nominal |
| kevIsPrefix | Language.Nominal.Unify, Language.Nominal |
| kevLookup | Language.Nominal.Equivar, Language.Nominal |
| kevLookupList | Language.Nominal.Equivar, Language.Nominal |
| kevLookupList' | Language.Nominal.Equivar, Language.Nominal |
| kevNub | Language.Nominal.Equivar, Language.Nominal |
| kevPrefixRen | Language.Nominal.Unify, Language.Nominal |
| kevRep | Language.Nominal.Equivar, Language.Nominal |
| kfreshen | Language.Nominal.Binder, Language.Nominal |
| KName | Language.Nominal.Name, Language.Nominal |
| KNom | Language.Nominal.Nom, Language.Nominal |
| knomToBinder | Language.Nominal.Binder, Language.Nominal |
| knomToMaybeBinder | Language.Nominal.Binder, Language.Nominal |
| KPerm | Language.Nominal.Name, Language.Nominal |
| KRen | Language.Nominal.Unify, Language.Nominal |
| kres | Language.Nominal.Nom, Language.Nominal |
| KRestrict | Language.Nominal.NameSet, Language.Nominal |
| KSub | Language.Nominal.Sub, Language.Nominal |
| ksupp | Language.Nominal.NameSet, Language.Nominal |
| KSupport | Language.Nominal.NameSet, Language.Nominal |
| kswp | Language.Nominal.Name, Language.Nominal |
| kswpN | Language.Nominal.Name, Language.Nominal |
| kunifiablePerm | Language.Nominal.Unify, Language.Nominal |
| KUnifyPerm | Language.Nominal.Unify, Language.Nominal |
| kunifyPerm | Language.Nominal.Unify, Language.Nominal |