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