You can find published versions of TNA include files in the repository mentioned in this answer: Intel(r) Tofino(tm) Family, TNA, and P4Studio questions
In particular the files in this directory: Open-Tofino/share/p4c/p4include at master · barefootnetworks/Open-Tofino · GitHub