sig
  val id_to_array : int -> bool array
  val transition_rule_rrcs2d :
    int -> int array array -> bool array -> int -> bool
  module type Parameters =
    sig
      val rule_num : int
      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