LAWS.rng_next_0: law of bend-prot@0.1.0.0
Import: import bend-prot@0.1.0.0/LAWS.bend as LAWS
Lines 245-247 of bend-prot@0.1.0.0/LAWS.bend: https://jend.leeeet.dev/read.txt?path=bend-prot@0.1.0.0/LAWS.bend&start_line=245&end_line=247

import Base
import bend-prot@0.1.0.0/rng.bend as Rng

# splitmix32 golden values (catches mistyped mixer constants).
law rng_next_0:
  {Rng.rng_next(0) == 1684164658 : U32}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/rng.bend&name=rng_next