module ReportStat:sig
..end
max_int
is encoded by max_int
;min_int
is encoded by min_int
.type
single = {
|
mutable count : |
(* |
Number of points actually visited.
| *) |
|
mutable total : |
(* |
Total number of points.
| *) |
typeall =
(Common.point_kind * single) list
val make : unit -> all
count
and total
set to zero.val update : all -> Common.point_kind -> bool -> unit
update stats k b
updates stats
for point kind k
.
total
is always incremented, while count
is incremented
iff b
equals true
.val summarize : all -> int * int
(count, total)
couple where count
and total
are
the sums of respectively all count
and all total
fields from
the passed statistics.val add : all -> all -> all
add x y
returns the sum of statistics x
and y
.val sum : all list -> all
sum l
is a fold over l
elements with function add
,
using the value returned by make
as the initial value.