mirage.devices
Devices.Sleep
mirage
mirage.functoria
type sleep = Functoria.DSL.job
val sleep : sleep Functoria.DSL.typ
val default_sleep : sleep Functoria.DSL.impl
val no_sleep : sleep Functoria.DSL.impl