Скорее всего не нашлось по причине более общего использование print()
Исходно (и с полным описанием) эта функция в разделе функций Serial рассматривается.
Смотрим тот же оффлайн хэлп:
file:///C:/Arduino/reference/www.arduino.cc/en/Reference/Serial.html
file:///C:/Arduino/reference/www.arduino.cc/en/Serial/Print.html