timestring.def 164 B

123456
  1. DEFINITION MODULE TimeString;
  2. (* gm2-compatible: place the current time in ASCII form into a. *)
  3. PROCEDURE GetTimeString (VAR a : ARRAY OF CHAR);
  4. END TimeString.