debian man page for atdcat

ATDCAT(1)						      General Commands Manual							 ATDCAT(1)

NAME
       atdcat - check syntax of an ATD file.

SYNOPSIS
       atdcat [options] file

DESCRIPTION
       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.

OPTIONS
       -x e   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    output the ocaml code of the ATD abstract syntax tree

       -version
	      print the version of atd and exit

       -help|--help
	      Display list of options

AUTHORS
       Sylvain Le Gall.

ATDCat User Manual						 December 3, 2010							 ATDCAT(1)