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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbdd.h583 inline int bdd_setbddpair(bddPair *p, int ov, const bdd &nv) argument
/seL4-l4v-10.1.1/HOL4/src/1/
H A DPrim_rec.sml899 val (ov,iv) = partition (C free_in ant) vs value
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DpatternMatchesLib.sml1469 let val ov = pairSyntax.strip_pair vars_tm value

Completed in 104 milliseconds