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

/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dbvec.sig34 val shl : bvec -> bvec -> bdd.bdd -> bvec value
H A Dbvec.sml43 val shl : bvec -> bvec -> bdd -> bvec = app3 (symb "mlbvec_shl") value
/seL4-l4v-10.1.1/HOL4/src/portableML/mosml/
H A DArbnumcore.sml125 fun shl n a = if n = 0 then a else shl (n - 1) (0 :: a) function
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DcearTools.sml95 val shl = listSyntax.mk_list (ast,bool) value

Completed in 87 milliseconds