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

/seL4-l4v-master/HOL4/examples/muddy/muddyC/
H A Dmuddy.c652 EXTERNML value mlbdd_bdd_autoreorder_times(value method, value times) /* ML */ argument
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dbasicio.cpp697 struct timeval times[2]; local
H A Dunix_specific.cpp846 struct timeval times[2]; local
[all...]
/seL4-l4v-master/HOL4/polyml/basis/
H A DPosix.sml166 val times : unit value
973 fun times() = function

Completed in 79 milliseconds