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

Module `Devices.Ptime`Source

Sourcetype ptime = Functoria.job

Sourceval ptime : ptime Functoria.typ

Sourceval default_ptime : ptime Functoria.impl

Sourceval no_ptime : ptime Functoria.impl

Sourceval mock_ptime : ptime Functoria.impl