Timing Function

#include <Elapsed.h>

const int button = 8;
const int led = 13;

int buttonState = 0;
int pressed = false;
int activate = 0;

void setup()
{
  pinMode(button, INPUT);
  pinMode(led, OUTPUT);
}

static Elapsed t1;
void loop()
{
  buttonState = digitalRead(button);
  if (buttonState == LOW)
  {
    int a;
    a = myTimer();
  }
  digitalWrite(led,buttonState);
  //t1.reset();
}
int myTimer()
{
  if(!pressed && activate != HIGH)
  {
    activate = HIGH;
    pressed = true;
    t1.reset();
  }
  if(pressed && t1.intervalMs()>5000)
  {
    pressed = false;
    int b;
    b = buttonState;
    if(b == HIGH )
      {
        b = LOW;
      }
    else
      {
        b = HIGH;
      }
    return b;
  }}