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