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

/seL4-l4v-master/HOL4/src/n-bit/
H A Dwordspp.sml18 fun lsr (x, y) = function
/seL4-l4v-master/HOL4/src/portableML/
H A DUnicodeChars.sig149 val lsr : string value
H A DUnicodeChars.sml159 val lsr = U 0x22D9 value

Completed in 46 milliseconds