#include "mbed.h"
using namespace mbed;
using namespace rtos;
using namespace std::chrono;

DigitalOut led(p2);
DigitalIn button(p15);


int x = 1000;

int main() {
  while(true) {
    led = !led;
    ThisThread::sleep_for(x);
    if(button==1){
      x=x-50;
    }
    if(x=100){
      x=1000
    }
  }
}
BOOTSELLED1239USBRaspberryPiPico©2020RP2-8020/21P64M15.00TTT