Searched defs:nm2 (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/examples/ | ||
H A D | ambaScript.sml | 136 val nm2 = "ahb" value |
/seL4-l4v-10.1.1/HOL4/examples/lambda/basics/ | ||
H A D | nomdatatype.sml | 212 val (nm2, ty2) = dest_var v' value |
Completed in 54 milliseconds