Lines Matching refs:b2
45 `b1 ** b2 =
48 then b2 ?? ((b1 >>> 1) ** xtime b2)
49 else ((b1 >>> 1) ** xtime b2)`,
70 `IterConstMult (b1,b2,acc) =
71 if b1 = 0w:word8 then (b1,b2,acc)
72 else IterConstMult (b1 >>> 1, xtime b2,
73 if word_lsb b1 then (b2 ?? acc) else acc)`;
89 `!b1 b2 acc. (b1 ** b2) ?? acc = SND(SND(IterConstMult (b1,b2,acc)))`,