def rng_seed1

unified-nsga-iii@0.2.2.0 · lib.bend:28

import unified-nsga-iii@0.2.2.0/lib.bend as Lib
import Base
import unified-nsga-iii@0.2.2.0/rng.bend as Rng

28def rng_seed1() -> Rng.State:
29  Rng.from_nat(1n)

Uses (2)

Used by (0)

No other definition uses this definition.