module Object: S with type id := Object.id and type value := Object.t
Persisting state for objects.
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.