Lines Matching refs:b2
41 `xtime ((b7,b6,b5,b4,b3,b2,b1,b0) :word8)
43 if b7 then (b6,b5,b4,~b3,~b2,b1,~b0,T)
44 else (b6,b5,b4,b3,b2,b1,b0,F)`;
62 `b1 ** b2 =
65 then b2 # (RightShift b1 ** xtime b2)
66 else (RightShift b1 ** xtime b2)`,
91 `IterConstMult (b1,b2,acc) =
92 if b1 = ZERO then (b1,b2,acc)
93 else IterConstMult (RightShift b1, xtime b2,
95 then (b2 # acc) else acc)`;
116 `!b1 b2 acc. (b1 ** b2) # acc = SND(SND(IterConstMult (b1,b2,acc)))`,