Library for TLC5940 16-channel PWM chip

so, something like...

void myInterruptFunction(void)
{
    sei();
    delay(debounceDelay);
    //make state changes
}

...would work? I'm still not 100% sure how exactly it's supposed to work.

Or, should I just keep it simple:

void myInterruptFunction(void)
{
    if(lastInterrupt + 10 > millis())
    {
        //make state changes
        lastInterrupt = millis();
    }
    else
    {
        //do nothing
    }
}