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

/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/
H A DTask_Queue.sml40 val enqueue: string -> group -> task list -> int -> (bool -> bool) -> queue -> task * queue value
323 fun enqueue name group deps pri job (Queue {groups, jobs, urgent}) = function
H A DFuture.sml421 fun enqueue e queue = function

Completed in 38 milliseconds