toc : [real,real] = LET (ret,rut) = (real_time,run_time),
(re0,ru0) = val[[nat,nat]](Stamp) IN
((ret-re0)/internal_time_units,(rut-ru0)/internal_time_units)
% t is in secods; returns formatted string in the form "<h>h:<m>m:<s>s"
hms(t:real) : string = LET ts = floor(t),
ms = t-ts,
h = floor(ts/3600),
m = floor(mod(ts,3600)/60),
s = mod(mod(ts,3600),60)+ms IN
format("~ah:~am:~,3fs",(h,m,s))
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
