<> <> DIRECTORY PrincOps, RoseTypes; RoseIOHacks: CEDAR DEFINITIONS = BEGIN OPEN RoseTypes; Ptr: TYPE = PrincOps.BitAddress; <> <> END.