Searched defs:promise (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/ | ||
| H A D | Future.sml | 39 val promise: (unit -> unit) -> 'a future value 593 fun promise abort = promise_name "passive" abort; function |
Completed in 39 milliseconds