<> <> <> DIRECTORY RoseWireTypes; RoseWireTypeUse: CEDAR DEFINITIONS = <> BEGIN OPEN RoseWireTypes; ModuleRefType: TYPE = {Directory, Import, Export, Open}; RoseWireTypeUser: TYPE = REF RoseWireTypeUserRep; RoseWireTypeUserRep: TYPE; CreateUser: PROC RETURNS [RoseWireTypeUser]; AddRWCAux: PROC [user: RoseWireTypeUser, rwc: RoseWireClass]; <> AddMesa: PROC [user: RoseWireTypeUser, mesa: Mesa]; NoteMesa: PROC [user: RoseWireTypeUser, mesa: Mesa]; NoteModuleRefs: PROC [user: RoseWireTypeUser, type: ModuleRefType, refs: LOR]; DestroyUser: PROC [user: RoseWireTypeUser] RETURNS [ repAux: ROPE, moduleRefs: ModuleRefs ]; ModuleRefs: TYPE = ARRAY ModuleRefType OF LOR; StmtCat: PROC [s1, s2: ROPE] RETURNS [catted: ROPE]; END.