package tezos-lazy-containers

  1. Overview
  2. Docs
type tree = ..

An extensible type to record the type of trees used as backend for the lazy map.

Note: If you use the 'tree-encoding' library, then its functor takes care of adding a new constructor for the expected tree.

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.