Searched defs:is_canceled (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/HOL4/src/portableML/poly/concurrent/ | ||
| H A D | Task_Queue.sml | 14 val is_canceled: group -> bool value 82 fun is_canceled (Group {parent, status, ...}) = function |
Completed in 33 milliseconds