Make2.E
type state
type cell
module CellSet : Stdlib.Set.S with type elt = cell
val update : state -> cell -> state option