<> <> DIRECTORY Rope USING[ROPE]; MCrossUtilityDefs: DEFINITIONS = BEGIN Confirm: PROCEDURE RETURNS[BOOLEAN]; IsNumber: PROCEDURE[s: Rope.ROPE] RETURNS[BOOLEAN]; IsTerminator: PROCEDURE[ch: CHARACTER] RETURNS [BOOLEAN]; <> IsLineEmpty: PROCEDURE[line: Rope.ROPE] RETURNS[BOOLEAN]; <> EqualString: PROCEDURE[str1,str2: Rope.ROPE] RETURNS[BOOLEAN]; <> StringLessThan: PROCEDURE[str1,str2: Rope.ROPE] RETURNS[BOOLEAN]; END.