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