object method propagate : string -> string -> int64 method update : string -> int64 -> (string * int64) option end