Searched defs:is_finished (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/ | ||
H A D | Future.sml | 19 val is_finished: 'a future -> bool value 104 fun is_finished x = isSome (peek x); function |
Completed in 31 milliseconds