rescript-push
This package closely wraps the [Push API](https://developer.mozilla.org/en-US/docs/Web/API/Push_API). It does not include the Push API Service Worker Additions. Instead, it is a dependency of the `rescript-service-worker` package. It has not been exhaust