Statistics Module. This module defines types and utilities for managing and manipulating solver statistics, including merging and pretty-printing.
The type entry represents a single statistic entry, which can be either an integer or a floating-point number.
module Map : Smtml_prelude.Map.S with type key = stringMap is a module for managing statistics as a map from string keys to statistic entries.
The type t represents a collection of statistics as a map from string keys to statistic entries.
sum_entries e1 e2 sums two statistic entries e1 and e2. If both entries are integers, the result is an integer. If either entry is a float, the result is a float.
merge t1 t2 merges two statistics maps t1 and t2. If a key exists in both maps, the corresponding entries are summed using sum_entries.
pp_entry fmt entry pretty-prints a single statistic entry entry using the formatter fmt.