IGeneratedRecord

IGeneratedRecord is just an empty marker interface.

It is used by generated record classes.