time_profile_os_dependent.dcl 196 Bytes
Newer Older
1 2 3 4 5 6
definition module time_profile_os_dependent

PCorMac pc mac :== mac

clock_speed_and_profile_overhead :: (!Int,!Real,!Real);
get_compute_time_function :: !*File -> (!(Int,Int,Int) -> Real,!*File)