def BigInt.mul
import bend-kit-bignum@0.1.0.0/bigint.bend as Bigintimport Base
409def BigInt.mul(a: BigInt, b: BigInt) -> BigInt:
410 match a b:
411 case BigInt{sa, x} BigInt{sb, y}:
412 BigInt.mk(Bool.xor(sa, sb), Mag.mul(x, y))
import bend-kit-bignum@0.1.0.0/bigint.bend as Bigintimport Base
409def BigInt.mul(a: BigInt, b: BigInt) -> BigInt:
410 match a b:
411 case BigInt{sa, x} BigInt{sb, y}:
412 BigInt.mk(Bool.xor(sa, sb), Mag.mul(x, y))