sig
  module Env : Env.S
  val given_clause_step : ?generating:bool -> int -> Saturate.szs_status
  val given_clause :
    ?generating:bool ->
    ?steps:int -> ?timeout:float -> unit -> Saturate.szs_status * int
  val presaturate : unit -> Saturate.szs_status * int
end