atd2cconv

Homepagehttp://seb.mondet.org/software/atd2cconv/index.html
Maintainerseb@mondet.org
Dependencies
&atd
nonstd
ocamlfind
smart-print
Availableocaml-version >= "4.01.0"
PublishedDec 15, 2014
Source [http] https://github.com/smondet/atd2cconv/archive/atd2cconv.0.0.0.tar.gz
7fa2ec65acf3a2eed28322afd3cecebf
StatisticsInstalled 3 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/atd2cconv/atd2cconv.0.0.0/opam

Convert ATD definitions to OCaml code that uses the CConv 0.1 library

No package is dependent