package z3

  1. Overview
  2. Docs
type statistics_entry
val get_key : statistics_entry -> string
val get_int : statistics_entry -> int
val get_float : statistics_entry -> float
val is_int : statistics_entry -> bool
val is_float : statistics_entry -> bool
val to_string_value : statistics_entry -> string
val to_string : statistics_entry -> string