sig
  type id
  type value
  val add : Store.t -> Store.S.value -> unit Lwt.t
  val mem : Store.t -> Store.S.id -> bool Lwt.t
  val get : Store.t -> Store.S.id -> Store.S.value Lwt.t
  val list : Store.t -> Store.S.id list Lwt.t
end