<®>Rosemary.DF>> <> DIRECTORY RoseTypes; NumTypes: CEDAR DEFINITIONS = BEGIN OPEN RoseTypes; NumType: PROCEDURE [bits: CARDINAL] RETURNS [NodeType]; <> boolType: NodeType; Numeric: PROC [NodeType] RETURNS [BOOLEAN]; END.