functor (Parameters : Parameters) ->
  sig
    val name : string
    type state = bool
    type configuration = state array
    val states : state array
    val initialize : int -> configuration
    val transition_rule : int array array -> configuration -> int -> state
    val color_of_state : state -> Graphics.color
  end