package why3find

  1. Overview
  2. Docs

Module Why3findUtils.StatsSource

Sourcetype stats
Sourceval create : unit -> stats
Sourceval add : stats -> float -> unit
Sourceval min : stats -> float
Sourceval max : stats -> float
Sourceval sum : stats -> float
Sourceval count : stats -> int
Sourceval average : stats -> float