def decode_c

bend-collections-laws-crypto@1.0.0.0 · src/crypto/secp256k1/point.bend:178

import Base

178def decode_c(+x: List<&2, Nat>, +par: Nat, ok: Bool) -> Maybe<&2, Point>:
179  match ok:
180    case True{}: decompress(x, par)
181    case False{}: None{}