<2.2.5>Release>Rosemary2.DF>> <> DIRECTORY RoseTypes; NumTypes: CEDAR DEFINITIONS = BEGIN OPEN RoseTypes; NumType: PROCEDURE [bits: CARDINAL] RETURNS [NodeType]; <> BitArray: PROCEDURE [firstIndex, lastIndex: INTEGER] RETURNS [NodeType]; <> boolType: NodeType; Numeric: PROC [NodeType] RETURNS [BOOLEAN]; IntNot: PROCEDURE [bitWidth: [1..16], bits: CARDINAL] RETURNS [CARDINAL]; END.