This PR cleans up PageNav, renaming a few fields and adding a pageNav.mli to wrap it cleanly. Additionally, it improves it by allowing the number of entries to be a signal, and not just an Lwt promise. This will be useful in the future to bind it more tightly to a search bar, for instance.
Builds on top of #267.
This PR cleans up
PageNav, renaming a few fields and adding apageNav.mlito wrap it cleanly. Additionally, it improves it by allowing the number of entries to be a signal, and not just an Lwt promise. This will be useful in the future to bind it more tightly to a search bar, for instance.