I looked up the definition of printfn here and this is what it says:
printfn format Print to stdout using the given format, and add a newline.
printfn format
Print to stdout using the given format, and add a newline.