nonstd

Non-standard mini-library
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

nonstd

Documentation: Nonstd