sig
  val transition_rule : int -> int array array -> int array -> int -> int
  val color_of_state : int -> Graphics.color
  module type Parameters =
    sig val rule_num : int val initializer_prng : Random.State.t end
  module Automaton : functor (Parameters : Parameters) -> Types.Rule
end