Hardcaml_step_testbench_kernelmodule Before_and_after_edge = Hardcaml.Before_and_after_edgemodule Io_ports_for_imperative : sig ... endType to store the IO ports used when spawning an imperative task.
include sig ... endmodule Step_effect = Digital_components.Step_effectmodule Step_monad = Digital_components.Step_monadmodule Component = Digital_components.Component