Searched defs:times (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c652 EXTERNML value mlbdd_bdd_autoreorder_times(value method, value times) /* ML */ argument
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dunix_specific.cpp903 struct timeval times[2]; local
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dbasis2002.sml1078 val times as {usr,sys,gc} = Timer.checkCPUTimer timer value
1083 val times as {usr,sys,gc} = Timer.checkCPUTimer timer value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DPosix.sml168 val times : unit value
965 fun times() = function

Completed in 93 milliseconds