RW_MAKER is the signature exposed by read-write store backends. K is the implementation of keys and V is the implementation of values.
include RRW with type key = K.t and type value = V.tReactive read-write stores are read-write stores with reactive capabilities.
include RW with type key = K.t with type value = V.tupdate t k v replaces the contents of k by v in t. If k is not already defined in t, create a fresh binding. Raise Invalid_argument if k is the empty path.
compare_and_set t key ~test ~set sets key to set only if the current value of key is test and in that case returns true. If the current value of key is different, it returns false. None means that the value does not have to exist or is removed.
Note: The operation is guaranteed to be atomic.
watch_key t k ?init f adds f to the list of t's watch handlers for the key k and returns the watch handler to be used with unwatch. init is the optional initial value of the key.