Searched defs:undefined (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/ | ||
| H A D | arm.sig | 452 val undefined: bool ref value |
| H A D | arm.sml | 1661 val undefined = ref (false): bool ref value |
Completed in 132 milliseconds