Searched defs:wait (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DSingle_Assignment.sml37 fun wait () = function
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DHelp.sml131 fun wait next = function
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/
H A DFuture.sml120 fun wait cond = (*requires SYNCHRONIZED*) function
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DThread.sml167 val wait: conditionVar * Mutex.mutex -> unit value
616 fun wait(c: conditionVar, m: Mutex.mutex) : unit = function
H A DPosix.sml127 val wait : unit -> pid * exit_status value
832 fun wait() = waitpid(W_ANY_CHILD, []) function

Completed in 81 milliseconds