File

+
−-- Provides total CPU time, useful for DERIVE
+
−
+
−module:set_global();
+
−
+
−module:provides("statistics", {
+
−	statistics = {
+
−		cpu_total = { -- milliseconds of CPU time used
+
−			get = function()
+
−				return os.clock() * 1000;
+
−			end
+
−		}
+
−	}
+
−});