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