A syntax extension for importing declarations from interface files
Description
Install
syntax
Documentation github.com Changelog MIT License Edit opam file
Published
14 Jun 2022
Authors
Maintainers
Sources
ppx_import-1.10.0.tbz
sha256=300f2c7f417b0a1d702432fc13ce3bd2e90ac7b2a2796ca35899c942ca81556f sha512=835d5abff0f1eba28313f5925beaeb8c27a4458c91cf395fdd28b984b0745aad8725b4a8a921517ad09ed567ff8586f48a4afa4127eab6c2f773efc5d50c40fb
Dependencies
ppx_deriving with-test & >= "4.2.1"
ounit with-test
ppxlib >= "0.26.0"
dune >= "1.11.0"
ppx_sexp_conv with-test & >= "v0.13.0"
ocaml >= "4.10.0"
ocaml >= "4.05.0" & < "4.10.0"
Reverse Dependencies
coq-serapi
elpi >= "1.10.0" & < "1.11.0"
frama-c >= "25.0~beta"
goblint < "1.1.1"
modelica_ml >= "0.2.0"
pa_ppx < "0.07" | >= "0.10"
ppx_deriving_cmdliner < "0.6.0"
ppx_deriving_morphism
systemverilog < "0.0.2"
uwt < "0.3.3"
wikitext