Provided by: libatd-ocaml-dev_1.1.2-1build1_amd64 bug


       atdcat - syntax check and transformations of ATD files


       atdcat [options...] file


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


       -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

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

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

              remove all annotations

              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,


       This manual page was written by Sylvain  Le  Gall  <>  and  Hendrik  Tews
       <>, specifically for the Debian project (and may be used by others).