.TH ATDCAT 1 "December 3, 2010" "ATDCat User Manual"
.SH NAME
.PP
atdcat - check syntax of an ATD file.
.SH SYNOPSIS
.PP
atdcat [options] file
.SH DESCRIPTION
.PP
The syntax of an ATD file can be checked with the program atdcat
provided with the OCaml library atd.
atdcat pretty-prints its input data, optionally after some
transformations such as monomorphization or inheritance.
.SH OPTIONS
.TP
.B -x e
make type expressions monomorphic
.RS
.RE
.TP
.B -xk
keep parametrized type definitions and imply -x.
Default is to return only monomorphic type definitions
.RS
.RE
.TP
.B -xd
debug mode implying -x
.RS
.RE
.TP
.B -i
expand all `inherit' statements
.RS
.RE
.TP
.B -if
expand `inherit' statements in records
.RS
.RE
.TP
.B -iv
expand `inherit' statements in sum types
.RS
.RE
.TP
.B -ml 
output the ocaml code of the ATD abstract syntax tree
.RS
.RE
.TP
.B -version
print the version of atd and exit
.RS
.RE
.TP
.B -help|--help
Display list of options
.RS
.RE
.SH AUTHORS
Sylvain Le Gall.