<> <> < YggCoordinator.Handle.>> <> <> <> <> DIRECTORY YggEnvironment, YggCoordinator USING [Handle, nullHandle]; YggCoordinatorMap: CEDAR DEFINITIONS = BEGIN TransID: TYPE = YggEnvironment.TransID; Handle: TYPE = YggCoordinator.Handle; nullHandle: Handle = YggCoordinator.nullHandle; <> Register: PROC [handle: Handle]; GetHandle: PROC [trans: TransID] RETURNS [handle: Handle]; Unregister: PROC [handle: Handle]; Count: PROC [] RETURNS [INT]; <> EnumProc: TYPE = PROC [Handle] RETURNS [stop: BOOL]; LockedEnumerate: PROC [proc: EnumProc]; <> <> <> UnlockedEnumerate: PROC [proc: EnumProc]; <> <> <> END. <> <> <<>>