ArrayTraversal.Evaluator_TYPE
type state
type cell
val cell_compare : cell -> cell -> int
val update : state -> cell -> state option