def step

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

import Base

109def step(+b: Nat, +p: Point, +d: Point) -> Point:
110  select(b, add(d, p), d)

Uses (4)