You can search for identifiers within the package.
in-package search v0.2.0
why3find
why3find.utils
Why3findUtils.Stats
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