sig   type step_allowed_errors =       [ `Database of Persistent_data.Error.database       | `List of Ketrew.Engine.Run_automaton.step_allowed_errors list ]   val step :     Ketrew.Engine.t ->     (bool, Ketrew.Engine.Run_automaton.step_allowed_errors)     Unix_io.Deferred_result.t   val fix_point :     Ketrew.Engine.t ->     ([ `Steps of int ], Ketrew.Engine.Run_automaton.step_allowed_errors)     Unix_io.Deferred_result.t   val try_to_fix_step_error :     Ketrew.Engine.t ->     info:string ->     Ketrew.Engine.Run_automaton.step_allowed_errors ->     (unit,      [> `Database of Persistent_data.Error.database       | `Not_fixable of Ketrew.Engine.Run_automaton.step_allowed_errors ])     Unix_io.Deferred_result.t end