def from_nat
import unified-nsga-iii@0.2.2.0/rng.bend as Rngimport Base
23def from_nat(seed: Nat) -> State:
24 new(U32.from_nat(seed))
import unified-nsga-iii@0.2.2.0/rng.bend as Rngimport Base
23def from_nat(seed: Nat) -> State:
24 new(U32.from_nat(seed))