def PCG.constants

bend-collections-laws-math@1.0.0.0 · proofs/math/random/proof_pcg.bend:36

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

36def PCG.constants(+p: P.PCG) -> SRM.PCG.constants(p):
37  {==}