Module Ketrew_engine.Run_automaton (.ml)

module Run_automaton: sig .. end

val step : Ketrew_engine.t ->
       (bool,
        [> `Database of Trakeva.Error.t
         | `Database_unavailable of Ketrew_target.id
         | `Missing_data of Ketrew_target.id
         | `Target of [> `Deserilization of string ] ])
       Ketrew_unix_io.Deferred_result.t

val fix_point : Ketrew_engine.t ->
       ([ `Steps of int ],
        [> `Database of Trakeva.Error.t
         | `Database_unavailable of Ketrew_target.id
         | `Missing_data of Ketrew_target.id
         | `Target of [> `Deserilization of string ] ])
       Ketrew_unix_io.Deferred_result.t