ppx_import

A syntax extension for importing declarations from interface files
Description
Install
Published
09 Sep 2018
Authors
Maintainers
Sources
v1.5.tar.gz
md5=54921e077b9de4155f7fa61db725ec6f
Dependencies
ppx_deriving with-test & >= "2.0"
ounit with-test
cppo build
ppx_tools >= "0.99.1"
ocaml >= "4.02.0" & < "4.08.0"
Reverse Dependencies
coq-serapi < "8.9.0+0.6.0"
elpi >= "1.10.0" & < "1.11.0"
frama-c >= "26.0~beta"
goblint < "1.1.1"
modelica_ml >= "0.2.0"
systemverilog < "0.0.2"
uwt < "0.3.3"