let compare (d1,uc1) (d2,uc2) =
let c = Pervasives.compare d1 d2 in
let compare (d1,uc1) (d2,uc2) =
let c = Pervasives.compare d1 d2 in
| (_,Terms.Equation (l,_,_,Terms.Gt),_,_) as c ->
DT.index t l (Terms.Left2Right, c)
| (_,Terms.Equation (_,r,_,Terms.Lt),_,_) as c ->
| (_,Terms.Equation (l,_,_,Terms.Gt),_,_) as c ->
DT.index t l (Terms.Left2Right, c)
| (_,Terms.Equation (_,r,_,Terms.Lt),_,_) as c ->