Searched defs:sleep (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/polyml/basis/
H A DOS.sml104 val sleep: Time.time -> unit value
1178 fun sleep t = (IO.poll([], SOME t); ()) function
H A DPosix.sml138 val sleep : Time.time -> Time.time value
869 fun sleep sleepTime = function

Completed in 52 milliseconds