DEFINITION MODULE Ascii;

(*
    Title: 	Useful Ascii characters
    LastEdit:	"Tue Oct 30 09:35:39 1984"
    Author: 	ahj
		Cambridge University Computer Laboratory
*)

EXPORT QUALIFIED EndStreamCh, BellCh, TabCh, NewLineCh, 
                 FormFeedCh, CReturnCh, SpaceCh,
                 DigitsCh ;

CONST 
    EndStreamCh = 0C;	(*  returned by Rdch on EndOfStream *)
    BellCh      = 07C ;
    TabCh       = 11C;
    NewLineCh   = 12C;
    FormFeedCh  = 14C;
    CReturnCh   = 15C;
    SpaceCh     = 40C;

VAR DigitsCh : ARRAY [0..9] OF CHAR ;

END Ascii.
