why3find.utils
Why3findUtils.Stats
why3find
type stats
val create : unit -> stats
val add : stats -> float -> unit
val min : stats -> float
val max : stats -> float
val sum : stats -> float
val count : stats -> int
val average : stats -> float