OnWorks favicon

atdcat - Online in the Cloud

Run atdcat in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command atdcat that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator



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

Use atdcat online using onworks.net services

Free Servers & Workstations

Download Windows & Linux apps

  • 1
    Eclipse Tomcat Plugin
    Eclipse Tomcat Plugin
    The Eclipse Tomcat Plugin provides
    simple integration of a tomcat servlet
    container for the development of java
    web applications. You can join us for
    Download Eclipse Tomcat Plugin
  • 2
    WebTorrent Desktop
    WebTorrent Desktop
    WebTorrent Desktop is for streaming
    torrents on Mac, Windows or Linux. It
    connects to both BitTorrent and
    WebTorrent peers. Now there's no
    need to wait for...
    Download WebTorrent Desktop
  • 3
    GenX is a scientific program to refine
    x-ray refelcetivity, neutron
    reflectivity and surface x-ray
    diffraction data using the differential
    evolution algorithm....
    Download GenX
  • 4
    PSPP is a program for statistical
    analysis of sampled data. It is a free
    replacement for the proprietary program
    SPSS. PSPP has both text-based and
    graphical us...
    Download pspp4windows
  • 5
    Git Extensions
    Git Extensions
    Git Extensions is a standalone UI tool
    for managing Git repositories. It also
    integrates with Windows Explorer and
    Microsoft Visual Studio
    (2015/2017/2019). Th...
    Download Git Extensions
  • 6
    eSpeak: speech synthesis
    eSpeak: speech synthesis
    Text to Speech engine for English and
    many other languages. Compact size with
    clear but artificial pronunciation.
    Available as a command-line program with
    many ...
    Download eSpeak: speech synthesis
  • More »

Linux commands