| k | Documentation.SBV.Examples.ProofTools.Fibonacci |
| KBool | Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic |
| KBounded | Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic |
| KChar | Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic |
| KDouble | Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic |
| Key | |
| 1 (Type/Class) | Documentation.SBV.Examples.Crypto.AES |
| 2 (Type/Class) | Documentation.SBV.Examples.Crypto.RC4 |
| keyExpansion | Documentation.SBV.Examples.Crypto.AES |
| keySchedule | Documentation.SBV.Examples.Crypto.RC4 |
| keyScheduleString | Documentation.SBV.Examples.Crypto.RC4 |
| KFloat | Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic |
| Kind | Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic |
| KindCast | Data.SBV.Internals |
| kindOf | Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic |
| KList | Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic |
| KPlus | Data.SBV.RegExp, Data.SBV.Internals |
| KReal | Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic |
| KS | Documentation.SBV.Examples.Crypto.AES |
| KStar | Data.SBV.RegExp, Data.SBV.Internals |
| KString | Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic |
| KTuple | Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic |
| KUnbounded | Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic |
| KUninterpreted | Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic |