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