def seed_ok

bend-collections-laws-crypto@1.0.0.0 · src/math/random/chacha8.bend:114

import Base

114def seed_ok(bs: List<&2, U32>, ok: Bool) -> Maybe<&2, ChaCha8>:
115  match ok:
116    case False{}:
117      None{}
118    case True{}:
119      lift(key_of(bs))