def flip

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

import Base

74# 0 or 1 when b is
75def flip(b: Bool, +par: Nat) -> Nat:
76  match b:
77    case True{}: Nat.sub(1n, par)
78    case False{}: par