Tcstiming.SimpleTimingval init : bool -> timing_objectval start : timing_object -> unitval stop : timing_object -> unitval state : timing_object -> timing_stateval read : timing_object -> floatval run_count : timing_object -> intval format : timing_object -> stringval read_avg : timing_object -> floatval format_avg : timing_object -> stringval increment_by : timing_object -> timing_object -> unitval timed_function : timing_object -> ('a -> 'b) -> 'a -> 'b