def ge2
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/ecdsa.bend as Ecdsaimport Base
85def ge2(b: Bool) -> Nat:
86 match b:
87 case True{}: 0n
88 case False{}: 2n
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/ecdsa.bend as Ecdsaimport Base
85def ge2(b: Bool) -> Nat:
86 match b:
87 case True{}: 0n
88 case False{}: 2n