acgtkLib.datalogLib
Make.E
acgtkLib.acgData
acgtkLib.logic
acgtkLib.utilsLib
type state
type cell
val cell_compare : cell -> cell -> int
val update : state -> cell -> state option