- let eq_unit_clause (id1,_,_,_) (id2,_,_,_) = id1 = id2
- let compare_unit_clause (id1,_,_,_) (id2,_,_,_) = Pervasives.compare id1 id2
+ let eq_clause (id1,_,_,_,_) (id2,_,_,_,_) = id1 = id2
+ let compare_clause (id1,_,_,_,_) (id2,_,_,_,_) = Pervasives.compare id1 id2