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

/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dbvec.sig37 val shr : bvec -> bvec -> bdd.bdd -> bvec value
H A Dbvec.sml46 val shr : bvec -> bvec -> bdd -> bvec = app3 (symb "mlbvec_shr") value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DPreterm.sml356 fun shr env l ty = function

Completed in 54 milliseconds