def bexp
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/pow.bend as Powimport Base
50def bexp(b: Bool) -> Nat:
51 match b:
52 case True{}:
53 1n
54 case False{}:
55 0n
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/pow.bend as Powimport Base
50def bexp(b: Bool) -> Nat:
51 match b:
52 case True{}:
53 1n
54 case False{}:
55 0n