def PCG.constants

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

import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W
import bend-collections-laws-math@1.0.0.0/src/math/random/pcg.bend as P

97def PCG.constants(+p: P.PCG) -> Type:
98  {P.next(p) == P.out(P.step_with(P.mul_hi(), P.mul_lo(), P.inc_hi(), P.inc_lo(), p)) : W.U64 & P.PCG}