Searched defs:is_finished (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/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 34 milliseconds