Arduino IDE, Placa: mcore (la que viene con el mbot de makeblock)

[kaluxi]

Hola buen día.
Quisiera saber si ustedes saben como encontrar la librería: Arduino.h ya que la necesito para mi programación y no la e encontrado por ninguna parte, soy nuevo en esto y bueno necesito esta ayuda nada mas