mbed GPIO for Buttons, LEDs, Buzzer

no such method: tip