Up – Package index » mirage » Library mirage.devices » Devices » Ptime

Module `Devices.Ptime`Source

Sourcetype ptime = Functoria.DSL.job

Sourceval ptime : ptime Functoria.DSL.typ

Sourceval default_ptime : ptime Functoria.DSL.impl

Sourceval no_ptime : ptime Functoria.DSL.impl

Sourceval mock_ptime : ptime Functoria.DSL.impl