Config.IncrementalBackend
include Param_sig.VALUE with type t = [ `Auto | `Bitwuzla | `Z3 ]
include Param_sig.VALUE_IN with type t = [ `Auto | `Bitwuzla | `Z3 ]
type t = [
| `Auto
| `Bitwuzla
| `Z3
]
include Param_sig.PARAM
val name : string
val short_name : char option
val help : string
val default : t
val set : t -> unit
val get : unit -> t
val values : t list
val values_with_names : (t * string) list