DEFINITION MODULE CHRONO; (* SUN FROM Clock IMPORT SystemTime; Version SUN *) TYPE (* SUN Chrono = SystemTime Version SUN *) Chrono = (* SOLARIS *) RECORD microsec : CARDINAL; second : CARDINAL; END; TimeFormat = (sec, min, hours, days, hms); TimeUnit = [sec..days]; PROCEDURE InitChrono (VAR C : Chrono); PROCEDURE ValChrono ( C : Chrono; Unit : TimeUnit ) : LONGREAL; PROCEDURE WriteChrono ( C : Chrono; Form : TimeFormat ); END CHRONO.