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

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibMultiset.sig27 val nonzero : 'a mset -> int value
H A DmlibMultiset.sml92 fun nonzero (a : 'a mset) = M.numItems a; function
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_parserLib.sml4639 let val (nonzero,imm6,n) = dest_Compare_Branch tm value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sml14440 val nonzero = value

Completed in 101 milliseconds