Applies generative functors to () instead of deprecated (struct end).

See merge request frama-c/frama-c!4279