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

/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/
H A DTask_Queue.sml43 val dequeue: Thread.thread -> bool -> queue -> (task * (bool -> bool) list) option * queue value
350 fun dequeue thread urgent_only (queue as Queue {groups, jobs, urgent}) = function

Completed in 11 milliseconds