Searched defs:land (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/
H A DsatCommonTools.sml26 val land = rand o rator value
/seL4-l4v-master/HOL4/src/metis/
H A DmlibPatricia.sml32 fun land (p, q) = Word.toIntX(Word.andb(Word.fromInt p, Word.fromInt q)) function
/seL4-l4v-master/HOL4/src/portableML/
H A DPIntMap.sml38 fun land (p, q) = Word.toIntX(Word.andb(Word.fromInt p, Word.fromInt q)) function
/seL4-l4v-master/HOL4/examples/HolCheck/
H A DcommonTools.sml140 val land = rand o rator value
/seL4-l4v-master/HOL4/src/integer/
H A DIntDP_Munge.sml31 fun land tm = rand (rator tm) function
H A DCooperMath.sml651 val land = rand o rator value

Completed in 92 milliseconds