acgtkLib.datalogLib
Make2.E
acgtkLib.acgData
acgtkLib.logic
acgtkLib.utilsLib
type state
type cell
module CellSet : Set.S with type elt = cell
val update : state -> cell -> state option