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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddtest.cxx47 bdd even = bdd_ithvar(0) | bdd_ithvar(2) | bdd_ithvar(4); local
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dm1-story.lisp[all...]
/seL4-l4v-10.1.1/HOL4/src/patricia/
H A DsptreeSyntax.sml118 fun even n = n mod two = zero function
H A DpatriciaLib.sml45 fun even n = Arbnum.mod2 n = Arbnum.zero function
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DUseful.sig239 val even : int -> bool value
H A DUseful.sml473 fun even n = divides 2 n; function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibUseful.sig115 val even : int -> bool value
H A DmlibUseful.sml415 fun even n = divides 2 n; function
/seL4-l4v-10.1.1/HOL4/src/emit/
H A Dbasis_emitScript.sml46 val (even,odd) = value

Completed in 77 milliseconds