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

/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/
H A DTask_Queue.sml26 val running: task -> (unit -> 'a) -> 'a value
159 fun running task = function
267 val running = value
289 val running value
[all...]
H A DFuture.sml162 val running = Task_Queue.cancel (! queue) group; value

Completed in 82 milliseconds