sig
  val id_to_array : int -> bool array
  val transition_rule_rrpcs2d :
    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) -> Types.Rule
end