module Experiment: functor (Topo : Types.Topology) -> functor (Synchro : Types.Synchronism) -> functor (Auto : Types.Rule) -> sig .. end
functor (
Topo
:
Types.Topology
) ->
Synchro
Types.Synchronism
Auto
Types.Rule
sig
end
include struct ... end
val nb_samples : int Pervasives.ref
int Pervasives.ref
val total : Big_int.big_int Pervasives.ref
Big_int.big_int Pervasives.ref
val do_measurement : time:'a -> ('b -> unit) * (int -> unit)
time:'a -> ('b -> unit) * (int -> unit)
val at_last_measurement : unit -> unit
unit -> unit