law rng_next_1

bend-prot@0.1.0.0 · LAWS.bend:249

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

249law rng_next_1:
250  {Rng.rng_next(1) == 1580013426 : U32}