-(* let lo = List.map (lpo s) tl2 in
- let ro = List.map (lpo t) tl1 in
- if List.exists (fun x -> x=XGT || x=XEQ) lo
- then XGT
- else if List.exists (fun x -> x=XGT || x=XEQ) ro
- then XLT
- else begin
- match lpo hd1 hd2 with
- | XGT -> if List.for_all (fun x -> x=XGT) lo then XGT
- else XINCOMPARABLE
- | XLT -> if List.for_all (fun x -> x=XGT) ro then XLT
- else XINCOMPARABLE
- | XEQ -> List.fold_left2
- (fun acc si ti -> if acc = XEQ then lpo si ti else acc)
- XEQ tl1 tl2
- | XINCOMPARABLE -> XINCOMPARABLE
- | _ -> assert false
- end*)