-- RTTypesExtras.mesa -- Last Modified On September 15, 1982 5:46 pm By Paul Rovner DIRECTORY RTBasic USING[Type, TV]; RTTypesExtras: CEDAR DEFINITIONS = BEGIN IsRefAny: PROC[type: RTBasic.Type--ref--] RETURNS[BOOL]; IsAtom: PROC[tv: RTBasic.TV--ref any--] RETURNS[BOOL]; IsRope: PROC[tv: RTBasic.TV--ref any--] RETURNS[BOOL]; END.