package mirage-time

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Mirage_timeSource

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

Release v3.0.0

Sourcemodule type S = sig ... end

Sleep operations.