teensy-core-4.1/include/core/Arduino.h

// This header file is in the public domain.

#ifndef Arduino_h
#define Arduino_h

#include "./WProgram.h"
#include "./pins_arduino.h"

#endif