Previous
Up
Next
Module
Timing_wheel_unit_tests
module
Timing_wheel_unit_tests:
sig
..
end
This interface is only here to remind us to add a unit test whenever the interface of
Timing_wheel
changes.
include
Timing_wheel_intf.S