dolmen

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

Statistics holding exactly one value

val create : string -> t

Create a float statistics, with the given name.

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

Print the statistic's current value.

val set : t -> float -> unit

Set the stat value.