def base_of

bend-collections-laws-crypto@1.0.0.0 · src/crypto/ed25519/point.bend:181

import Base

181# the base point: y = 4 / 5, x even
182def base_of(m: Maybe<&2, Pt>) -> Pt:
183  match m:
184    case None{}:
185      identity()
186    case Some{p}:
187      p