sig
  type simplifier
  val get_help : Z3.Simplifier.simplifier -> string
  val get_param_descrs :
    Z3.Simplifier.simplifier -> Z3.Params.ParamDescrs.param_descrs
  val get_num_simplifiers : Z3.context -> int
  val get_simplifier_names : Z3.context -> string list
  val get_simplifier_description : Z3.context -> string -> string
  val mk_simplifier : Z3.context -> string -> Z3.Simplifier.simplifier
  val and_then :
    Z3.context ->
    Z3.Simplifier.simplifier ->
    Z3.Simplifier.simplifier ->
    Z3.Simplifier.simplifier list -> Z3.Simplifier.simplifier
  val using_params :
    Z3.context ->
    Z3.Simplifier.simplifier -> Z3.Params.params -> Z3.Simplifier.simplifier
  val with_ :
    Z3.context ->
    Z3.Simplifier.simplifier -> Z3.Params.params -> Z3.Simplifier.simplifier
end