sig
  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
end