def recover_ok

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

import Base

226def recover_ok(+one: Nat, +e: Nat, +r: Nat, +s: Nat, +id: Nat, ok: Bool) -> Maybe<&2, List<&2, U32>>:
227  match ok:
228    case True{}: recover_x(one, e, r, s, id)
229    case False{}: None{}