sig
  type statistics
  module Entry :
    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
  val to_string : Z3.Statistics.statistics -> string
  val get_size : Z3.Statistics.statistics -> int
  val get_entries :
    Z3.Statistics.statistics -> Z3.Statistics.Entry.statistics_entry list
  val get_keys : Z3.Statistics.statistics -> string list
  val get :
    Z3.Statistics.statistics ->
    string -> Z3.Statistics.Entry.statistics_entry option
  val get_estimated_alloc_size : unit -> int64
end