Module Fsml.ClockSource

Clock

Sourcetype clk = int

Clock cycle counter

Sourcetype 'a clocked = clk * 'a