def decode_c

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

import Base

282def decode_c(+p: Nat, +pre: U32, +x: Nat) -> Maybe<&2, SPoint>:
283  decode_c_if(p, pre, x, Bool.and(Bool.or(U32.is_eq(pre, 2), U32.is_eq(pre, 3)), Nat.is_lt(x, p)))