Understanding the [@bs.module] decorator