def unless_zero

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/kex.bend:19

import Base

19def unless_zero(ss: List<&2, U32>, z: Bool) -> Maybe<&2, List<&2, U32>>:
20  match z:
21    case True{}:
22      None{}
23    case False{}:
24      Some{ss}