A key environment is a mapping from key IDs to the corresponding keys.
It should satisfy the invariant that these key IDs actually match the keys;
see checkKeyEnvInvariant.
:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · b2f3bfd · 2026-10-11
Modulehackage-security-0.6.4.0Haskell2010
A key environment is a mapping from key IDs to the corresponding keys.
It should satisfy the invariant that these key IDs actually match the keys;
see checkKeyEnvInvariant.