#include "MKL25Z4.h"
Servo myservo;
static int pos = 0;
void setup(){ myservo.attach(2) //PTA1 pin 2}
void loop(){ for (pos = 0; pos <= 180; pos += 1){ myservo.write(pos);}
for (pos = 180; pos >= 0; pos -= 1){ }}
Please don't put the entire question in the title!
Note that there is no worldwide, global directory listing what symbols are defined in every single .h file in the world - so there is no way to tell what file you need!
Where did you think it should be defined? Where did you hear of it?
Have you tried doing a text search through all the .h files on your hard drive?