atdcat - syntax check and transformations of ATD files

       This  manual page was written by Sylvain Le Gall <gildor@debian.org> and Hendrik Tews <hendrik@askra.de>,
       specifically for the Debian project (and may be used by others).

ATDCAT                                              May 2013                                           ATDCAT(1)

atdcat  performs  syntax  checking and pretty printing on ATD files. It can also perform transformations,
       such as monomorphization or flattening of inheritance hierarchies.

       atdcat - syntax check and transformations of ATD files

-x     make type expressions monomorphic

       -xk    keep parametrized type definitions and imply -x.  Default  is  to  return  only  monomorphic  type
              definitions

       -xd    debug mode implying -x-i     expand all `inherit' statements

       -if    expand `inherit' statements in records

       -iv    expand `inherit' statements in sum types

       -ml<name>
              output the ocaml code of the ATD abstract syntax tree

       -html-doc
              replace  directly  <dochtml="..."> by (*html...*) or replace <doctext="..."> by (*html...*)
              where the contents are formatted as HTML using <p>, <code> and <pre>.  This is suitable input  for
              caml2html-exthtml:cat, which converts ATD files into HTML.

       -stripNAME1[,NAME2,...]
              remove all annotations of the form <NAME1...>, <NAME2...>, etc.

       -strip-all
              remove all annotations

       -version
              print the version and exit

       -help|--help
              print options and exit

       The ATD manual, /usr/share/doc/libatd-ocaml-dev/atd-manual.{html,pdf}

       The ATD referande, http://mjambon.com/atdgen/atdgen-manual.html

atdcat [options...] file