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

Module `Mirage_impl_time`Source

Sourcetype time

Sourceval time : time Functoria.typ

Sourceval default_time : time Functoria.impl