<> <> <> DIRECTORY IO, Rope; PupNet: CEDAR DEFINITIONS = BEGIN P: TYPE = PROC[name, owner, location, netAddress: Rope.ROPE, gateway, network: BOOLEAN]; ReadFile: PROC [file: Rope.ROPE, proc: P, log: IO.STREAM]; END.