IBase.StatsLogging
The two most important fields are "event" and "value". Other fields in the table correspond to things common for this particular run of Infer.
val log_many : LogEntry.t list -> unit
Log several events in one go. Useful when you do custom aggregations and have a place to log all aggregated results at once.
Log anything that can be counted. Events will be prefixed with "count."
Log elapsed time. Events will be prefixed with "time."