Module Tezos_lazy_containers.Lazy_mapSource

Sourcemodule 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.

Sourcemodule type S = sig ... end
Sourceexception UnexpectedAccess

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

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

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