sig
  val transition_rule : int array array -> bool array -> int -> bool
  module type Parameters =
    sig val init_density : float val initializer_prng : Random.State.t end
  module Automaton :
    functor (Parameters : Parameters) ->
      sig
        val name : string
        type state = bool
        type configuration = state array
        val states : state array
        val initialize : int -> configuration
        val transition_rule :
          int array array -> configuration -> int -> state
        val color_of_state : state -> Graphics.color
      end
end