let equal v1 v2 = match v1, v2 with
    | (x,c,_,_) , (y,d,_,_) -> c=d && x=y