Functor Experiment.Synchronization.Experiment

module Experiment: 
functor (Topo : Types.Topology) -> 
functor (Synchro : Types.Synchronism) -> 
functor (Auto : Types.Rule) -> sig .. end

include struct ... end

val nb_unsynchronized : Auto.configuration -> int

val nb_zero : Auto.configuration -> int

val dimension : int

val do_measurement : time:int -> ('a -> unit) * (int -> unit)