let rec (@) x y =
match (x,y) with
(h1::t1, h2::t2) -> if h1<h2 then true else if h1=h2 then t1@t2 else false
|([],_) -> true
|(_,[]) -> false;;