doc-ock-xml

XML printer and parser for Doc-Ock

Libraries

This package provides the following libraries (via dune):

doc-ock-xml

Documentation:

Dependencies: doc-ock, xmlm, menhirLib