Up
–
mirage
»
Devices
» Time
Module
Devices.Time
type
time
val
time :
time
Functoria.typ
val
default_time :
time
Functoria.impl