sig
  val next_generation : Core.automaton -> Core.generation -> Core.generation
end