def result
import bend-collections-laws-math@1.0.0.0/src/math/random/rand.bend as Randimport Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W
140def result(-S: Data, d: Draw<S>) -> W.U64 & S:
141 match d:
142 case D{hi, lo, s}:
143 (hi, s)
Uses (4)
Used by (5)
- bend-collections-laws-math@1.0.0.0/src/math/random/rand:lemire_small
- bend-collections-laws-math@1.0.0.0/proofs/math/random/uint64n:loop
- bend-collections-laws-math@1.0.0.0/proofs/math/random/uint64n:step_case
- bend-collections-laws-math@1.0.0.0/proofs/math/random/uint64n:step_false
- bend-collections-laws-math@1.0.0.0/proofs/math/random/uint64n:step_true