def BigInt.neg
import bend-kit-bignum@0.1.0.0/bigint.bend as Bigintimport Base
356def BigInt.neg(x: BigInt) -> BigInt:
357 match x:
358 case BigInt{s, m}:
359 BigInt.mk(Bool.not(s), m)
import bend-kit-bignum@0.1.0.0/bigint.bend as Bigintimport Base
356def BigInt.neg(x: BigInt) -> BigInt:
357 match x:
358 case BigInt{s, m}:
359 BigInt.mk(Bool.not(s), m)