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