val solve : Datastruct.eqtable -> unit
val cleanup : Datastruct.eqtable -> unit