//clika-runtime/io.clika.runtime/Device/manualSeed

manualSeed

[common]
fun manualSeed(seed: Long)

Seed this device's random-number generator, so later random ops reproduce.