(*********************************************************************)
(* Title:	NullStream - Definitions			     *)
(* LastEdit:	"Tue Nov 13 16:40:13 1984" by Mick Jordan	     *)
(* Author: 	Mick Jordan					     *)
(* 		Copyright (C) 1984 by Acorn Research Centre	     *)
(*********************************************************************)

DEFINITION MODULE NullStream;

FROM Streams IMPORT Stream;

EXPORT QUALIFIED CreateInOutput;

PROCEDURE CreateInOutput(): Stream;
(* creates a stream which returns "status=EndOfStream" on
all Get calls and discards all Put values.
All other functions are ignored.
*)

END NullStream.
