Devices.Mclock
type mclock
val mclock : mclock Functoria.typ
val default_monotonic_clock : mclock Functoria.impl