~/jendhub

def step

bend-collections-laws-crypto@1.0.0.0 · src/math/random/rand.bend:127

import bend-collections-laws-crypto@1.0.0.0/src/math/random/rand.bend as Rand
import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as X

127def step(~S: Data, ~next: S -> W.U64 & S, +n: W.U64, +t: W.U64, d: Draw<S>) -> Draw<S>:
128  match d:
129    case D{+hi, +lo, s}:
130      again(~S, ~next, n, hi, lo, s, X.lt(lo, t))

Uses (5)

Used by (1)