Module Experiment.Density_avg


module Density_avg: sig .. end
Computes the average density of unsynchronized states, same paper.

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