smondet / atd2cconv

Convert Atd descriptions to pure OCaml that uses the CConv library
http://seb.mondet.org/software/atd2cconv/index.html
9 stars 1 forks source link

Adding support for basic type bool. #5

Closed rleonid closed 9 years ago

rleonid commented 9 years ago

Something I found while writing tests, worthy of an independent pull request?

smondet commented 9 years ago

Well spotted, thanks!