Where are they defined?

I only use the Arduino Due there is no external circuitry.
The program makes a sinusoidal signal to the output of the DAC.
No library is invited.

I started from this program for the most part. Essentially, I want to understand how this works.