Up – Package index » mirage » Library mirage.impl » Mirage_impl_mclock

Module `Mirage_impl_mclock`Source

Sourcetype mclock

Sourceval mclock : mclock Functoria.typ

Sourceval default_monotonic_clock : mclock Functoria.impl