DEFINITION MODULE CharString;

(*
    Title: 	Single character strings
    LastEdit:	"Tue Jul 16 13:34:39 1985"
    Author: 	ahj
		Cambridge University Computer Laboratory
*)

EXPORT QUALIFIED CHARSTRING, CharToString, charString,
                 (* DO NOT USE THE FOLLOWING,
                    they are maintained only for backwards compatibility *)
                 StringSpace,
                 String0, String1, String2, String3, String4,
                 String5, String6, String7, String8, String9 ;

TYPE CHARSTRING = ARRAY [0..0] OF CHAR ;

VAR StringSpace,
    String0, String1, String2, String3, String4,
    String5, String6, String7, String8, String9
         : CHARSTRING ;
    charString : ARRAY CHAR OF CHARSTRING ; 
    (* A string for every character from 0 to 127 *)
    
PROCEDURE CharToString (c : CHAR ; VAR s : CHARSTRING) ;
(* s [0] := c *)

END CharString.
