def secret_if

bend-collections-laws-crypto@1.0.0.0 · src/crypto/secp256k1/ecdsa.bend:130

import Base

130def secret_if(+d: List<&2, Nat>, ok: Bool) -> Maybe<&2, List<&2, Nat>>:
131  match ok:
132    case True{}: Some{d}
133    case False{}: None{}