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

/seL4-l4v-master/HOL4/src/portableML/poly/concurrent/
H A DEvent_Timer.sml157 val promise: unit Future.future = Future.promise_name "event_timer" abort value
H A DFuture.sml39 val promise: (unit -> unit) -> 'a future value
593 fun promise abort = promise_name "passive" abort; function

Completed in 37 milliseconds