When I e-file with the IRS, do they get a pdf?

What type of file extension is e-filed?