Index - K
| KCons | Util.Type |
| KECCAK | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| keccak | Tezos.Crypto.Hash, Tezos.Crypto |
| KeyAddress | Tezos.Address |
| keyDecoders | Tezos.Crypto |
| KeyHash | |
| 1 (Type/Class) | Tezos.Crypto |
| 2 (Data Constructor) | Tezos.Crypto |
| keyHashDecoders | Tezos.Crypto |
| KeyHashEd25519 | Tezos.Crypto |
| keyHashLengthBytes | Tezos.Crypto |
| keyHashOption | Morley.CLI |
| KeyHashP256 | Tezos.Crypto |
| KeyHashSecp256k1 | Tezos.Crypto |
| KeyHashTag | Tezos.Crypto |
| khBytes | Tezos.Crypto |
| khTag | Tezos.Crypto |
| KList | Util.Type |
| klist | Util.Type |
| KNil | Util.Type |
| KnownAnnTag | Michelson.Untyped.Annotation, Michelson.Untyped |
| KnownIsoT | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| KnownList | Util.Type |
| KnownNamedFunctor | Util.Named |
| KnownPeano | Util.Peano |
| KnownSymbol | Util.TypeLits |
| KnownT | Michelson.Typed.Sing, Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |