DEFINITION MODULE String ;

FROM DynamicStrings IMPORT String ;
FROM FIO IMPORT File ;

PROCEDURE Write (f: File; str: String) ;
PROCEDURE WriteLn (f: File) ;

END String.