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

/seL4-l4v-master/HOL4/tools/mllex/
H A Dmllex.sml586 and getClass last = (case classch() value

Completed in 34 milliseconds