Module Session.Spawn

type t
type arg = Solver.t
val open_session : arg -> t
val put : t -> (Format.formatter -> 'a -> unit) -> 'a -> unit
val comment : t -> (Format.formatter -> 'a -> unit) -> 'a -> unit
val check_sat : t -> timeout:float -> status
val check_sat_assuming : t -> timeout:float -> (Format.formatter -> 'a -> unit) -> 'a -> status
val get_value : t -> (Format.formatter -> 'a -> unit) -> 'a -> (Binsec_smtlib__.Smtlib.term * Binsec_smtlib__.Smtlib.term) list
val get_model : t -> Binsec_smtlib__.Smtlib.model
val close_session : t -> unit
val pp : Format.formatter -> t -> unit