This is a product type, introduced by fty::deftagsum in support of tyspecseq.
The following invariant is enforced on the fields:
(or signed int)
