module Make_value
(V : Store_sigs.ENCODED_VALUE) :
Store_sigs.VALUE with type t = V.tmodule Raw_value : Store_sigs.VALUE with type t = Stdlib.Bytes.tmodule Make_single_store
(S : Store_sigs.STORE)
(N : Store_sigs.NAME)
(V : Store_sigs.VALUE) :
Store_sigs.SINGLE_STORE with type t = S.t and type value = V.tmodule Make_substore
(S : Store_sigs.STORE)
(N : Store_sigs.NAME) :
Store_sigs.STORE with type t = S.tmodule Make_set
(S : Store_sigs.STORE)
(I : Store_sigs.INDEX) :
Store_sigs.SET_STORE with type t = S.t and type elt = I.tmodule Make_buffered_set
(S : Store_sigs.STORE)
(I : Store_sigs.INDEX)
(Set : sig ... end) :
Store_sigs.BUFFERED_SET_STORE
with type t = S.t
and type elt = I.t
and module Set = Setmodule Make_map
(S : Store_sigs.STORE)
(I : Store_sigs.INDEX)
(V : Store_sigs.VALUE) :
Store_sigs.MAP_STORE
with type t = S.t
and type key = I.t
and type value = V.tmodule Make_buffered_map
(S : Store_sigs.STORE)
(I : Store_sigs.INDEX)
(V : Store_sigs.VALUE)
(Map : sig ... end) :
Store_sigs.BUFFERED_MAP_STORE
with type t = S.t
and type key = I.t
and type value = V.t
and module Map = Mapmodule Make_indexed_substore
(S : Store_sigs.STORE)
(I : Store_sigs.INDEX) :
Store_sigs.INDEXED_STORE with type t = S.t and type key = I.tmodule Integer_index : Store_sigs.INDEX with type t = int