sig
  val transition_rule_antimaj : 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) -> Types.Rule
end