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

/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DstringBinTree.sml128 else let val ccl = Vector.sub(cl,Vector.sub(ranks,i)) value
[all...]

Completed in 101 milliseconds