<<>> <> <> <> <> DIRECTORY BasicTime USING [GMT], Rope USING [ROPE]; GiveAndTake: CEDAR DEFINITIONS ~ BEGIN ROPE: TYPE ~ Rope.ROPE; GMT: TYPE ~ BasicTime.GMT; defaultWorldName: ROPE; NoSuchPackage: ERROR [packageName: ROPE, worldName: ROPE]; MalformedTorch: SIGNAL [packageName: ROPE, worldName: ROPE]; <> TakePackage: PROC [packageName: ROPE, worldName: ROPE ¬ defaultWorldName, forcibly: BOOL ¬ FALSE] RETURNS [ok: BOOL, owner: ROPE, takenDate: GMT]; <> <> GivePackage: PROC [packageName: ROPE, worldName: ROPE ¬ defaultWorldName] RETURNS [yoursToGive: BOOL]; <> <> PackageTaken: PROC [packageName: ROPE, worldName: ROPE ¬ defaultWorldName] RETURNS [taken: BOOL, owner: ROPE, takenDate: GMT]; <> <> PackageMine: PROC [packageName: ROPE, worldName: ROPE ¬ defaultWorldName] RETURNS [BOOL]; <> <> <<>> EnumerateTakenPackages: PROC [worldName: ROPE ¬ defaultWorldName, proc: PROC [packageName: ROPE, owner: ROPE, takenDate: GMT] RETURNS [quit: BOOL ¬ FALSE]]; <> <> END.