package ppx_import
A syntax extension for importing declarations from interface files
Install
Authors
Maintainers
Sources
ppx_import-1.10.0.tbz
sha256=300f2c7f417b0a1d702432fc13ce3bd2e90ac7b2a2796ca35899c942ca81556f
sha512=835d5abff0f1eba28313f5925beaeb8c27a4458c91cf395fdd28b984b0745aad8725b4a8a921517ad09ed567ff8586f48a4afa4127eab6c2f773efc5d50c40fb
Description
Dependencies (4)
Dev Dependencies (3)
-
ppx_deriving
with-test & >= "4.2.1"
-
ounit
with-test
-
ppx_sexp_conv
with-test & >= "v0.13.0"
Used by (14)
- 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
-
satyrographos
>= "0.0.2.13"
-
systemverilog
< "0.0.2"
- tezos-scoru-wasm-helpers
-
uwt
< "0.3.3"
- vscoq-language-server
- wikitext
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page