def u32.range

bend-kit-property@0.4.0.0 · generate.bend:18

import bend-kit-property@0.4.0.0/generate.bend as Generate

import Base
import bend-kit-random@0.1.0.1/random.bend as Rand

18# A uniform U32 in [lo, hi); lo when hi <= lo + 1.
19def u32.range(+lo: U32, hi: U32, r: Rand.Rng) -> U32 & Rand.Rng:
20  Rand.range(lo, hi, r)

Uses (4)

U32
Pair
bend-kit-random@0.1.0.1/random:Rng
bend-kit-random@0.1.0.1/random:range

Used by (0)

No other definition uses this definition.