mirage.devices
Devices.Random
mirage
mirage.functoria
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