Pcg.step: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/src/math/random/pcg.bend as Pcg
Lines 66-67 of bend-collections-laws-crypto@1.0.0.0/src/math/random/pcg.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/random/pcg.bend&start_line=66&end_line=67

import Base

def step(p: PCG) -> PCG:
  step_with(mul_hi(), mul_lo(), inc_hi(), inc_lo(), p)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/random/pcg.bend&name=PCG
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/random/pcg.bend&name=inc_hi
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/random/pcg.bend&name=inc_lo
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/random/pcg.bend&name=mul_hi
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/random/pcg.bend&name=mul_lo
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/random/pcg.bend&name=step_with