module Synchronous: sig .. end
sig
end
val next_step : ('a array -> int -> 'b) -> 'a array -> 'b array -> unit
('a array -> int -> 'b) -> 'a array -> 'b array -> unit
next_step transition_rule configuration_in configuration_out