sig
  type params
  module ParamDescrs :
    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
  val add_bool : Z3.Params.params -> Z3.Symbol.symbol -> bool -> unit
  val add_int : Z3.Params.params -> Z3.Symbol.symbol -> int -> unit
  val add_float : Z3.Params.params -> Z3.Symbol.symbol -> float -> unit
  val add_symbol :
    Z3.Params.params -> Z3.Symbol.symbol -> Z3.Symbol.symbol -> unit
  val mk_params : Z3.context -> Z3.Params.params
  val to_string : Z3.Params.params -> string
  val update_param_value : Z3.context -> string -> string -> unit
  val set_print_mode : Z3.context -> Z3enums.ast_print_mode -> unit
end