Indexable (octez-libs.Brassaia

module type S = Indexable_intf.S

module type S_without_key_impl = Indexable_intf.S_without_key_impl

module type Maker = Indexable_intf.Maker

module type Maker_concrete_key1 = Indexable_intf.Maker_concrete_key1

module type Maker_concrete_key2 = Indexable_intf.Maker_concrete_key2

module Maker_concrete_key2_of_1
  (X : Maker_concrete_key1) : 
  Maker_concrete_key2 with type ('h, _) key = 'h X.key

module Of_content_addressable
  (Key : Type.S)
  (S : Content_addressable.S with type key = Key.t) : 
  S
    with type 'a t = 'a S.t
     and type key = Key.t
     and type hash = Key.t
     and type value = S.value

An indexable store is a read-write store in which values can be added and later found via their keys.

module Check_closed_store (CA : S) : sig ... end

module Check_closed (M : Maker) : Maker