<<>> <> <> <> DIRECTORY Atom, Rope; LocalRegistryAgent: CEDAR DEFINITIONS ~ { ROPE: TYPE ~ Rope.ROPE; Milliseconds: TYPE ~ INT; PropList: TYPE ~ Atom.PropList; --each key is an ATOM, each val is a ROPE ServiceRegistration: TYPE ~ REF ServiceRegistrationPrivate; ServiceRegistrationPrivate: TYPE; MaintainService: PROC [name: ROPE, value: PropList, regTimeout, regPeriod: Milliseconds] RETURNS [ServiceRegistration]; <> ChangeProps: PROC [sr: ServiceRegistration, newValue: PropList]; <> StopService: PROC [ServiceRegistration]; <> }.