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