Fixtype of validation information for binary expressions.
This is a product type introduced by fty::defprod.
This is the type of the annotations that the validator adds to binary expressions, i.e. the :binary case of expr. The information for a binary expression consists of its type.
