Module Solver.Session

type status = Binsec_smtlib_bindings.status =
  1. | Sat
  2. | Unsat
  3. | Unknown
val pp_status : Format.formatter -> status -> unit
module type S = sig ... end
module Spawn : S with type arg = Solver.t
module Dump : S with type arg = string

!module-Dump is a dummy session that outputs its input stream to a file.

module Carbon_copy (Main : S) : S with type arg = Main.arg * string

!module-Carbon_copy performs the same as the Main session while outputting its input stream to a file.