Searched defs:cond (Results 51 - 52 of 52) sorted by relevance

123

/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml3906 val cond = imk_comb(i,mk_cond(pred,el 1 vars,el 2 vars)); value
3937 val cond = ``COND:bool -> 'a -> 'a -> 'a`` value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sml2062 val cond = CurrentCond () value
8100 val cond = BitsN.bits(31,28) w value
[all...]

Completed in 109 milliseconds

123