sig
  type statistics_entry
  val get_key : Z3.Statistics.Entry.statistics_entry -> string
  val get_int : Z3.Statistics.Entry.statistics_entry -> int
  val get_float : Z3.Statistics.Entry.statistics_entry -> float
  val is_int : Z3.Statistics.Entry.statistics_entry -> bool
  val is_float : Z3.Statistics.Entry.statistics_entry -> bool
  val to_string_value : Z3.Statistics.Entry.statistics_entry -> string
  val to_string : Z3.Statistics.Entry.statistics_entry -> string
end