~/jendhub

def seed_ok

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

import bend-collections@1.0.0.0/src/math/random/chacha8.bend as Chacha8
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))

Uses (7)

Used by (1)