def BigInt.modpow.go
import bend-kit-bignum@0.1.0.0/bigint.bend as Bigintimport Base
443def BigInt.modpow.go(neg_e: Bool, sb: Bool, x: List<&2, U32>,
444 +y: List<&2, U32>, +m: List<&2, U32>) -> Maybe<&2, BigInt>:
445 match neg_e:
446 case True{}:
447 None{}
448 case False{}:
449 Some{BigInt{False{}, Mag.modpow(Nat.mul(Mag.len(y), 14n),
450 Mag.base(sb, Mag.rem(x, m), m), y, Mag.rem(Con{1, Nil{}}, m), m)}}