doc-ock-xml

XML printer and parser for Doc-Ock
Overview Documentation
Description

Doc-ock-xml is an XML printer and parser for [Doc-ock][doc-ock]

doc-ock: https://github.com/ocaml-doc/doc-ock

Install
Published
15 Mar 2017
Sources
doc-ock-xml-1.0.0.tbz
md5=d8397daff48044aa71021ebe877597cc
Dependencies
Reverse Dependencies
odoc
< "1.2.0"