Module Devices.TimeSource

Sourcetype time
Sourceval default_time : time Functoria.impl