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