DEFINITION MODULE StdChans;
(* ISO 10514-1: the standard channels, with settable current
   in/out/err channels. *)

IMPORT IOChan;

TYPE
  ChanId = IOChan.ChanId;

PROCEDURE StdInChan () : ChanId;
PROCEDURE StdOutChan () : ChanId;
PROCEDURE StdErrChan () : ChanId;
PROCEDURE NullChan () : ChanId;

PROCEDURE InChan () : ChanId;
PROCEDURE OutChan () : ChanId;
PROCEDURE ErrChan () : ChanId;
PROCEDURE SetInChan (cid : ChanId);
PROCEDURE SetOutChan (cid : ChanId);
PROCEDURE SetErrChan (cid : ChanId);

END StdChans.