<<>> RegressUtils: CEDAR DEFINITIONS = BEGIN Val: PROC [val: NAT ¬ 0] RETURNS [NAT]; <> SetErrorStop: PROC [bool: BOOL]; Register: PROC [name: REF TEXT, proc: PROC]; NoteProc: PROC [name: REF TEXT]; Test: PROC [failed: BOOL, why: REF TEXT]; RunMatchingTests: PROC [pattern: REF TEXT]; END.