package mirage-solo5

You can search for identifiers within the package.

in-package search v0.2.0

mirage-solo5
- OS
  - Env
  - Lifecycle
  - MM
    
    Heap_pages
  - Main
  - Time
    
    Monotonic

Legend:
Library
Module
Module type
Parameter
Class
Class type

Monotonic time is time since boot (dom0 or domU, depending on platform). * Unlike Clock.time, it does not go backwards when the system clock is * adjusted.

type time_kind = [

| `Time
| `Interval

]

type 'a t constraint 'a = [< time_kind ]

val time : unit -> [ `Time ] t

Read the current monotonic time.

val (+) : 'a t -> [ `Interval ] t -> 'a t

val (-) : 'a t -> [ `Interval ] t -> 'a t

val interval : [ `Time ] t -> [ `Time ] t -> [ `Interval ] t

val of_nanoseconds : int64 -> _ t

Conversions. Note: still seconds since boot.