def x25519_if

bend-collections-laws-crypto@1.0.0.0 · src/crypto/curve25519/x25519.bend:144

import Base

144def x25519_if(ok: Bool, k: List<&2, U32>, u: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
145  match ok:
146    case True{}:
147      Some{x25519_raw(k, u)}
148    case False{}:
149      None{}