def dxsm

bend-collections-laws-math@1.0.0.0 · spec/math/random/pcg.bend:47

import bend-collections-laws-math@1.0.0.0/spec/math/random/pcg.bend as Pcg
import Base

47def dxsm(+cm: Nat, +hi: Nat, +lo: Nat) -> Nat:
48  dxsm3(dxsm1(cm, hi), lo)

Uses (3)

Used by (0)

No other definition uses this definition.