def ge2

bend-collections@1.0.0.0 · spec/crypto/secp256k1/ecdsa.bend:85

import Base

85def ge2(b: Bool) -> Nat:
86  match b:
87    case True{}: 0n
88    case False{}: 2n