Class type Netsys_global.propagator

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.