let
eq p q =
V
.eq p.v q.v
&&
D
.eq p.d q.d