Module Tezos_lazy_containers.Lazy_map

module type KeyS = sig ... end

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.

module type S = sig ... end
exception UnexpectedAccess

UnexpectedAccess is raised in the default of the produce_value argument to S.create.

module Make (Key : KeyS) : S with type key = Key.t
module LwtIntMap : S with type key = int
module LwtInt32Map : S with type key = int32
module LwtInt64Map : S with type key = int64
module Mutable : sig ... end

Make generates a lazy map module using a given Key module.