Lines Matching refs:b2
29 `(!x:word8. P x) = !b7 b6 b5 b4 b3 b2 b1 b0. P(b7,b6,b5,b4,b3,b2,b1,b0)`,
133 `BYTE_TO_NUM (b7,b6,b5,b4,b3,b2,b1,b0) =
135 16*B2N(b4) + 8*B2N(b3) + 4*B2N(b2) + 2*B2N(b1) + B2N(b0)`;
167 `LeftShift (b7,b6,b5,b4,b3,b2,b1,b0):word8 = (b6,b5,b4,b3,b2,b1,b0,F)`;
170 `RightShift (b7,b6,b5,b4,b3,b2,b1,b0):word8 = (F,b7,b6,b5,b4,b3,b2,b1)`;
188 (b7,b6,b5,b4,b3,b2,b1,b0) =
199 (case BIT_COMPARE a2 b2