Searched defs:is_C (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/src/combin/ | ||
| H A D | combinSyntax.sig | 40 val is_C : term -> bool value |
| H A D | combinSyntax.sml | 87 val is_C = can dest_C value |
Completed in 82 milliseconds