package tezos-lazy-containers

KeyS is the qualifier signature for key types in the lazy map. Externally visible and accessible keys of the lazy map are always non-negative. However, the lazy map implementation may internally use negative keys therefore modules of type KeyS must support them.