| s1::_, s2::tl2 when s2 < s1 -> sub_ex v1 tl2
| s1::tl1, s2::tl2 -> sub_ex tl1 tl2
;;
+
+(* DEBUGGING ONLY
+let sub_ex v1 v2 =
+ let b = sub_ex v1 v2 in
+ prerr_endline
+ ("SUB({" ^ String.concat "," v1 ^ "},{" ^ String.concat "," v2 ^"}) = " ^
+ if b then "tt" else "ff") ;
+ b
+;; *)