DEFINITION MODULE CHAR ;

FROM FIO IMPORT File ;


(*
   Write a single character ch to file f.
*)

PROCEDURE Write (f: File; ch: CHAR) ;
PROCEDURE WriteLn (f: File) ;


END CHAR.