def base_of

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/ed25519.bend as Ed25519

import Base

178def base_of(m: Maybe<&2, EPt>) -> EPt:
179  match m:
180    case None{}:
181      identity()
182    case Some{a}:
183      a

Uses (3)