Module Impl.Runner

type state = Tock0.Runner.state
val run : 'a Checked.t -> state -> state * 'a