Lines Matching refs:word
172 (``word_1comp (x:'a word)``,"BWNot"),
173 (``word_add (x:'a word) y``,"Plus"),
174 (``word_sub (x:'a word) y``,"Minus"),
175 (``word_mul (x:'a word) y``,"Times"),
176 (``word_and (x:'a word) y``,"BWAnd"),
177 (``word_or (x:'a word) y``,"BWOr"),
178 (``word_xor (x:'a word) y``,"BWXOR"),
179 (``ShiftLeft (x:'a word) y``,"ShiftLeft"),
180 (``ShiftRight (x:'a word) y``,"ShiftRight"),
181 (``SignedShiftRight (x:'a word) y``,"SignedShiftRight"),
185 (``(x:'a word) < y``,"SignedLess"),
186 (``(x:'a word) <+ y``,"Less"),
187 (``(x:'a word) <= y``,"SignedLessEquals"),
188 (``(x:'a word) <=+ y``,"LessEquals"),
189 (``(x:'a word) IN y``,"MemDom"),
190 (``(w2w (x:'a word)):'b word``,"WordCast"),
191 (``(sw2sw (x:'a word)):'b word``,"WordCastSigned"),
194 (``word_reverse (x:'a word)``,"WordReverse"),
195 (``count_leading_zero_bits (w:'a word)``,"CountLeadingZeroes")];
259 ``VarWord :'a word -> 'a variable``,
260 ``VarMem :('a word -> word8) -> 'a variable``,
261 ``VarDom :('a word -> bool) -> 'a variable``,