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

Module `Devices.Mclock`Source

Sourcetype mclock

Sourceval mclock : mclock Functoria.typ

Sourceval default_monotonic_clock : mclock Functoria.impl