Module Z3.Params.ParamDescrs

module ParamDescrs: sig .. end
ParamDescrs describe sets of parameters (of Solvers, Tactics, ...)

type param_descrs 
val validate : param_descrs -> Params.params -> unit
Validate a set of parameters.
val get_kind : param_descrs -> Symbol.symbol -> Z3enums.param_kind
Retrieve kind of parameter.
val get_names : param_descrs -> Symbol.symbol list
Retrieve all names of parameters.
val get_size : param_descrs -> int
The size of the ParamDescrs.
val to_string : param_descrs -> string
Retrieves a string representation of the ParamDescrs.