Config.QuantifierEncoding
include Param_sig.VALUE with type t = [ `Direct | `Enum ]
include Param_sig.VALUE_IN with type t = [ `Direct | `Enum ]
type t = [
| `Direct
| `Enum
]
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