Provided by: libatd-ocaml-dev_1.1.1-2_amd64
NAME
atdcat - syntax check and transformations of ATD files
SYNOPSIS
atdcat [options...] file
DESCRIPTION
atdcat performs syntax checking and pretty printing on ATD files. It can also perform transformations, such as monomorphization or flattening of inheritance hierarchies.
OPTIONS
-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 <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 HTML. -strip NAME1[,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
SEE ALSO
The ATD manual, /usr/share/doc/libatd-ocaml-dev/atd-manual.{html,pdf} The ATD referande, http://mjambon.com/atdgen/atdgen-manual.html
AUTHOR
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).