Module Ketrew.Engine.Run_automaton

module Run_automaton: sig .. end

val step : Ketrew.Engine.t ->
       (bool,
        [> `Database of Trakeva.Error.t
         | `Database_unavailable of Ketrew_pure.Target.id
         | `Missing_data of Ketrew_pure.Target.id
         | `Target of [> `Deserilization of string ] ])
       Unix_io.Deferred_result.t

Run one step of the engine; step returns true if something happened.

val fix_point : Ketrew.Engine.t ->
       ([ `Steps of int ],
        [> `Database of Trakeva.Error.t
         | `Database_unavailable of Ketrew_pure.Target.id
         | `Missing_data of Ketrew_pure.Target.id
         | `Target of [> `Deserilization of string ] ])
       Unix_io.Deferred_result.t

Run Ketrew.Engine.Run_automaton.step many times until nothing happens or nothing “new” happens.