def nonzero

bend-collections-laws-crypto@1.0.0.0 · src/crypto/kex.bend:51

import Base

51def nonzero(ss: List<&2, U32>, z: Bool) -> Maybe<&2, List<&2, U32>>:
52  match z:
53    case True{}:
54      None{}
55    case False{}:
56      Some{ss}