This is a product type, introduced by defflexsum in support of vl-warningtree.
This is an atomic/empty structure; it has no fields.