Up – Package index » mirage-time » Library mirage-time » Mirage_time

Module `Mirage_time`Source

This module define time-related devices for MirageOS and sleep operations.

Release v1.3.0

Sourcemodule type S = sig ... end

Sleep operations.