ocplib_stuff

Basic stuff used by some OCP libraries and tools
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

ocplib_stuff

Documentation:

Dependencies: unix