Searched defs:ne (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/
H A DholfootLib.sml1392 val (ne, e1) = dest_holfoot_prog_dispose p1; value
1419 val (ne, e) = dest_holfoot_prog_dispose p1 value
1467 val (ne, e value
1515 val (ne, v, tagL) = dest_holfoot_prog_new p1; value
[all...]

Completed in 61 milliseconds