Searched defs:fulfill (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/ | ||
H A D | Future.sml | 41 val fulfill: 'a future -> 'a -> unit value 619 fun fulfill x res = fulfill_result x (Exn.Res res); function |
Completed in 47 milliseconds