Devices.Random
type random = Functoria.DSL.job
val random : random Functoria.DSL.typ
val no_random : random Functoria.DSL.impl
val default_random : random Functoria.DSL.impl