Expert (hardcaml_step_testbench.hardcaml_step_testbench.effectful.Hardcaml_step_testbench

val create_component : 
  created_at:lexing_position ->
  period:int ->
  update_children_after_finish:bool ->
  (Imperative.Handler.t @ local -> 'a) ->
  (Imperative.O_data.t, unit) Hardcaml_step_testbench_kernel.Component.t
  * ('a, unit) Hardcaml_step_testbench_kernel.Step_effect.Component_finished.t
      Hardcaml_step_testbench_kernel.Step_effect.Event.t

module Evaluator : sig ... end

An API to execute a step testbench step-by-step. Every call to Evaluator.step will execute the step testbench, and the children it spawns, up to the synchronization point where they call Step.cycle h.