Point.decode: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point.bend as Point
Lines 203-207 of bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point.bend&start_line=203&end_line=207

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/bytes.bend as B

# SEC 1 section 2.3.4: a compressed (33 bytes, prefix 02/03) or uncompressed
# (65 bytes, prefix 04) public key, None when malformed, not below p, or
# not on the curve (the point at infinity, encoded 00, is refused)
def decode(+bs: List<&2, U32>) -> Maybe<&2, Point>:
  decode_len(bs, B.has_len(33n, bs), B.has_len(65n, bs))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/bytes.bend&name=has_len
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point.bend&name=Point
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point.bend&name=decode_len