functor (Params : Integer_Parameters) ->
  sig
    type state = int
    type configuration = Rule.Templates.Integer_state.state array
    val initialize : int -> int array
    val color_of_state : int -> Graphics.color
    val states : int array
  end