Fixtype of validation information for function definitions.
This is a product type introduced by fty::defprod.
This is the type of the annotations that the validator adds to function definitions. The information consists of the type of the function (not just the result; the function type), and a unique identifier.