class type propagator = object
.. end
method propagate : string -> string -> int64
propagate name value version
: push the new value
of the variable
called name
to other processes. The version of the new value is
returned.
method update : string -> int64 -> (string * int64) option
update name version
: checks whether there is a new value of
the variable name
with a version higher than the passed
version
. If not, None
is returned. If so, Some(val,vers)
is returned where val
is the value with version vers
.