Add internal interface declaration for records