Module Smt_options.KeepGoingSource

type t = bool
val set : t -> unit
val get : unit -> t
val is_default : unit -> bool