Functor Cimula.Main

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

val do_measurement : int -> unit

val main : unit -> unit