sig
  type param_descrs
  val validate :
    Z3.Params.ParamDescrs.param_descrs -> Z3.Params.params -> unit
  val get_kind :
    Z3.Params.ParamDescrs.param_descrs ->
    Z3.Symbol.symbol -> Z3enums.param_kind
  val get_names : Z3.Params.ParamDescrs.param_descrs -> Z3.Symbol.symbol list
  val get_size : Z3.Params.ParamDescrs.param_descrs -> int
  val to_string : Z3.Params.ParamDescrs.param_descrs -> string
end