functor (Topo : Types.Topology) ->
  functor (Synchro : Types.Synchronism) ->
    functor (Auto : Types.Rule) ->
      sig
        val neighbourhoods : int array array
        val length : int
        val depth : int
        val tr : Auto.configuration -> int -> Auto.state
        val configurations : Auto.configuration array
        val backup_configurations : Auto.state array array
        val discard_cell : int -> bool
        val light_cones : Measure.Light_cones.lc_index array
        val restore_configurations : int array array -> unit
        val draw_cmplx :
          (float -> Graphics.color) -> float array -> int -> unit
        val complexities : float array
        val do_next_step : unit -> unit
        val at_first_measurement : unit -> unit
        val at_last_measurement : unit -> unit
        val treat_differences : int array array -> float
        val perturbed_next_step : int -> int array -> unit
        val normalizer : float
        val lle : int -> float
        val do_measurement : time:'a -> (int -> unit) * (int -> unit)
      end