let
d_seq a b =
if
(snd a) = (fst b)
then
(fst a, snd b)
else
raise (
Beam_Matching_Error
"seq"
)