; DUNE2: delete this library
(library
 (name        wp)
 (public_name dune._wp)
 (synopsis    "[Internal] Standard library of Dune")
 (virtual_modules wp))
