Additional types for slick.headerbutton.d.ts