This PR cleans up the server- and client-side models a tiny bit. Most notably, it:
Removes a lot of useless models that are just aliases of common ones.
Gets rid of a useless Lwt in the Pagination module, which then allows to get rid of it.
Introduces module Database = Dancelor_server_database in a few modules to simplify the code; these will disappear when we switch to a more recent version of Dune.
This PR cleans up the server- and client-side models a tiny bit. Most notably, it:
Lwtin thePaginationmodule, which then allows to get rid of it.module Database = Dancelor_server_databasein a few modules to simplify the code; these will disappear when we switch to a more recent version of Dune.