sig
  val transition_rule :
    int list list -> int array array -> bool array -> int -> bool
  module type Parameters =
    sig
      val rule_table : int list list
      val init_density : float
      val initializer_prng : Random.State.t
    end
  module Automaton : functor (Parameters : Parameters) -> Types.Rule
end