ReScript bindings for the JavaScript Web Push API.