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