Fixtype of function definitions [C:6.9.1] [C:A.2.4].
This is a product type introduced by fty::defprod.
This corresponds to function-definition in the grammar in [C]. Unlike that grammar, we do not constrain the function body to be a compound statement in this fixtype.