Searched defs:he (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/HOL4/examples/HolCheck/ | ||
H A D | dbgTools.sml | 49 fun he s = if(!dbg)>0 then (visee := delete(!visee,s)) else () (* hide entry/exit for these *) function |
Completed in 25 milliseconds