Lines Matching refs:b2
44 `b1 ** b2 =
47 then b2 ?? ((b1 >>> 1) ** xtime b2)
48 else ((b1 >>> 1) ** xtime b2)`;
66 `IterConstMult (b1,b2,acc) =
67 if b1 = 0w:word8 then (b1,b2,acc)
68 else IterConstMult (b1 >>> 1, xtime b2,
69 if word_lsb b1 then (b2 ?? acc) else acc)`;
79 `!b1 b2 acc. (b1 ** b2) ?? acc = SND(SND(IterConstMult (b1,b2,acc)))`,