sig
  val name : string
  type state
  type configuration = Types.Rule.state array
  val states : Types.Rule.state array
  val initialize : int -> Types.Rule.configuration
  val transition_rule :
    int array array -> Types.Rule.configuration -> int -> Types.Rule.state
  val color_of_state : Types.Rule.state -> Graphics.color
end