def decompress_if

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

import Base

266def decompress_if(+x: Nat, +y: Nat, ok: Bool) -> Maybe<&2, SPoint>:
267  match ok:
268    case True{}: Some{SPoint{x, y, 1n}}
269    case False{}: None{}