Devices.Ptime
type ptime = Functoria.DSL.job
val ptime : ptime Functoria.DSL.typ
val default_ptime : ptime Functoria.DSL.impl
val no_ptime : ptime Functoria.DSL.impl
val mock_ptime : ptime Functoria.DSL.impl