necesitamos hacer que con una letra prendan los leds no con una gpio como hice en este codigo

Dependencies:   mbed

Revision:
0:e91b7d5124df
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/main.cpp	Fri Oct 25 03:01:23 2019 +0000
@@ -0,0 +1,20 @@
+#include "mbed.h"
+
+DigitalIn gpo(PTD7);
+DigitalOut led(LED_RED);
+DigitalOut OUT(PTC12);
+
+int main()
+{
+    while (true) {
+        if (gpo==1)   
+        {
+        led = 0;
+        OUT = 1; // toggle led
+        }else
+        {
+        led = 1;
+        OUT = 0;  
+        }
+    }
+}
\ No newline at end of file