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