---
name: "atdcat"
section: "1"
platform: "linux"
package: "libatd-ocaml-dev"
version: "2.16.0-2+b1"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/atdcat"
---

# atdcat(1)

syntax check and transformations of ATD files

## 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).