Up
module
Ir_contents
:
sig
Values.
#
module type
S =
sig
include
Tc
.
S0
#
val
merge :
t
Ir_merge
.
t
end
#
module
String :
S
with
type
t
= string
#
module
Json :
S
with
type
t
=
Ezjsonm
.
t
#
module
Cstruct :
S
with
type
t
=
Cstruct
.
t
#
module type
STORE =
sig
include
Ir_ao
.
STORE
#
val
merge :
t
->
key
Ir_merge
.
t
#
module
Key :
Ir_hash
.
S
with
type
t =
key
#
module
Val :
S
with
type
t
=
value
end
#
module
Make :
functor
(S :
sig
include
Ir_ao
.
STORE
#
module
Key :
Ir_hash
.
S
with
type
t =
key
#
module
Val :
S
with
type
t
=
value
end
)
->
STORE
with
type
t
=
S
.
t
and
type
key
=
S
.
key
and
type
value
=
S
.
value
end