Up
module
Ir_ao
:
sig
Append-only stores.
#
module type
STORE =
sig
include
Ir_ro
.
STORE
#
val
add :
t
->
value
->
key
Lwt
.
t
end
#
module type
MAKER =
functor
(K :
Ir_hash
.
S
)
->
functor
(V :
Tc
.
S0
)
->
STORE
with
type
key
=
K
.t
and
type
value
=
V
.
t
end