DEFINITION MODULE WriteStrings; (* A. Gorrengourt / L. Geissmann, 01.04.80, modified 10.02.81 *) EXPORT QUALIFIED WriteString, WriteLn; PROCEDURE WriteString(str: ARRAY OF CHAR); PROCEDURE WriteLn; END WriteStrings.