sig
  module Experiment :
    functor (Topo : Types.Topology) ->
      functor (Synchro : Types.Synchronism) ->
        functor (Auto : Types.Rule) ->
          sig
            val configuration : Auto.configuration ref
            val tr : Auto.configuration -> int -> Auto.state
            val do_next_step : unit -> unit
            val draw_configuration : Auto.configuration -> int -> unit
            val at_first_measurement : unit -> unit
            val at_last_measurement : unit -> unit
            val do_measurement : time:'a -> (int -> unit) * (int -> unit)
            val nb_unsynchronized : Auto.configuration -> int
            val nb_zero : Auto.configuration -> int
            val dimension : int
            val do_measurement : time:int -> ('a -> unit) * (int -> unit)
            val nb_samples : int Pervasives.ref
            val total : Big_int.big_int Pervasives.ref
            val do_measurement : time:'a -> ('b -> unit) * (int -> unit)
            val at_last_measurement : unit -> unit
          end
end