module type S = sig .. end
The signature for objects kept in the store.
type
Type type for stable identifier of values kept in the store.
type
The type for values kept in the store.
val add : Store.t -> value -> unit Lwt.t
add t v adds v to the store t.
val mem : Store.t -> id -> bool Lwt.t
mem t id is true if a value with the stable identifer id is
stored in t.
val get : Store.t -> id -> value Lwt.t
get t id is the value stored in t with the stable identifier
id. Raise Invalid_argument if id is invalid.
val list : Store.t -> id list Lwt.t
list t is the list of all the values stored in t.