Searched defs:is_interrupt (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/HOL4/src/portableML/poly/ | ||
H A D | Exn.sig | 24 val is_interrupt: exn -> bool value |
H A D | Exn.sml | 60 fun is_interrupt Interrupt = true function |
Completed in 28 milliseconds