DEFINITION MODULE WriteStrings;
(* A. Gorrengourt / L. Geissmann, 01.04.80, modified 10.02.81 *)
(* Unix version 19.05.81 *)

  EXPORT QUALIFIED WriteString, WriteLn;

  PROCEDURE WriteString(str: ARRAY OF CHAR);

  PROCEDURE WriteLn;

END WriteStrings.
