FILE: NumTypes.Mesa, from [Indigo]<Rosemary>2.2.5>Release>Rosemary2.DF
Last Edited by: Spreitzer, February 9, 1984 3:13 pm
DIRECTORY RoseTypes;
NumTypes: CEDAR DEFINITIONS =
BEGIN OPEN RoseTypes;
NumType:
PROCEDURE [bits:
CARDINAL]
RETURNS [NodeType];
A bits-bit integer, represented by a subrange of CARDINAL or an ARRAY OF CARDINAL.
BitArray:
PROCEDURE [firstIndex, lastIndex:
INTEGER]
RETURNS [NodeType];
An integer, represented by a subrange of CARDINAL or an ARRAY OF CARDINAL.
boolType: NodeType;
Numeric: PROC [NodeType] RETURNS [BOOLEAN];
IntNot: PROCEDURE [bitWidth: [1..16], bits: CARDINAL] RETURNS [CARDINAL];
END.