let
eq s t =
V
.eq s.v t.v
&&
D
.eq s.d t.d
&&
C
.eq s.c t.c