OpenZeppelin/daml-props: daml/DamlProps/Seed.daml

Daml contract source - OpenZeppelin/daml-props/daml/DamlProps/Seed.daml ```daml -- | PRNG wrapper around DA.Random.Minstd. -- Provides seed splitting and range-bounded generation. module DamlProps.Seed where import DA.Random (Minstd, minstd_init, minstd_rand) data Seed = Seed with prng : Minstd mkSe