[defns.well.formed]

C++ program constructed according to the syntax and semantic rules