package z3

  1. Overview
  2. Docs
type statistics
module Entry : sig ... end
val to_string : statistics -> string
val get_size : statistics -> int
val get_entries : statistics -> Entry.statistics_entry list
val get_keys : statistics -> string list
val get : statistics -> string -> Entry.statistics_entry option
val get_estimated_alloc_size : unit -> int64
OCaml

Innovation. Community. Security.