def aff_y

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

import bend-collections@1.0.0.0/src/crypto/secp256k1/point.bend as Point
import Base

154def aff_y(a: Affine) -> List<&2, Nat>:
155  match a:
156    case Affine{x, y}: y

Uses (3)

Used by (0)

No other definition uses this definition.