Maker_concrete_key2_of_1 (p.octez-internal-libs.20.1.doc.octez-internal-libs.irmin.Irmin.Indexable.Maker_concrete_key2_of

Parameters

module X : Maker_concrete_key1

Sourcetype ('h, _) key = 'h X.key

module Key
  (Hash : Hash.S)
  (Value : Type.S) : 
  Key.S with type t = (Hash.t, Value.t) key and type hash = Hash.t

Sourcemodule Make (Hash : Hash.S) (Value : Type.S) : sig ... end

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