(*
    Title: 	Stop - Definitions
    LastEdit:	"Wed May 23 15:06:47 1984"
    Author: 	Mick Jordan
		Cambridge University Computer Laboratory
*)

(*  A convenient way of ensuring all Streams IO is completed
    and returning to the O/S with a return code.
*)

DEFINITION MODULE Stop;

EXPORT QUALIFIED Stop;

PROCEDURE Stop(rc: INTEGER);

END Stop .

