def decode_c_if

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/curve.bend:277

import Base

277def decode_c_if(+p: Nat, +pre: U32, +x: Nat, ok: Bool) -> Maybe<&2, SPoint>:
278  match ok:
279    case True{}: decompress(p, x, U32.to_nat(U32.and(pre, 1)))
280    case False{}: None{}