Libraries

This package provides the following libraries (via dune):

doc-ock-xml

Documentation:

Dependencies: doc-ock, xmlm, menhirLib