<> <> <> <<>> DIRECTORY Rope, RoseTypes; EnumTypes: CEDAR DEFINITIONS = BEGIN NodeType: TYPE = RoseTypes.NodeType; EnumType: PROC [etName: Rope.ROPE] RETURNS [nt: NodeType]; Enumerated: PROC [NodeType] RETURNS [BOOL]; END.