dolmen

A parser library for automated deduction
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library dolmen.std
Module Dolmen_std . Stats . Floats
type t

The type for a time statistics.

val create : string -> t

Create a time statistics, with the given name.

val print : Stdlib.Format.formatter -> t -> unit

Print the statistic's current values.

val add : t -> float -> unit

Add a time lapse to a time statistics.