package ppx_import
A syntax extension for importing declarations from interface files
Install
Authors
Maintainers
Sources
ppx_import-v1.7.1.tbz
sha256=9b48c45e60727e51b1a9c49d86e73bf4efe2ad19d81f85732ae67b7d96ebbe99
sha512=087a61d828a9de31c279d3810ae9db4e9e0b65d22975ba07bc26ad51578bce9475077d34631ad4d2602a783d1febd2bbf38cde042ea43c5bed630c6720028346
Description
A syntax extension for importing declarations from interface files
Dependencies (5)
-
ocaml-migrate-parsetree
>= "1.2.0" & < "2.0.0"
-
ppx_tools_versioned
>= "5.2.2"
-
ppxlib
>= "0.3.1"
-
dune
>= "1.2.0"
-
ocaml
>= "4.04.2"
Dev Dependencies (2)
-
ppx_deriving
with-test & >= "4.2.1"
-
ounit
with-test
Used by (15)
- coq-serapi
-
elpi
>= "1.10.0" & < "1.11.0"
-
frama-c
>= "26.0~beta"
-
goblint
< "1.1.1"
-
modelica_ml
>= "0.2.0"
- octez-l2-libs
-
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