% $Id declare % TimeProc: }: > % where % ::= time(total: user: system: ) % and all the Ints represent milliseconds. % See section 23.1 of the System Modules document for the Mozart system fun {TimeProc P} T1 = {Property.get 'time'} {P} T2 = {Property.get 'time'} in time(total: T2.total - T1.total user: T2.user - T1.user system: T2.system - T1.system) end