package ppx_import
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
On This Page
A syntax extension for importing declarations from interface files
Install
dune-project
Dependency
Authors
Maintainers
Sources
ppx_import-1.12.0.tbz
sha256=d6fa581c5974ac4746de113ee810a95a67cbbdd2efa04c7e271ab40c5ad17497
sha512=ee2970cbcf0cbfe7fe494ef8ed371c4f13f08e1f0dd360a66836d0103bcaac5ae82df2e485ed1533724dc5db17e7ff1485e6389b97c49ce8c2d8f63eb2ee8ea4
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-lsp
>= "0.1.9+8.17" - coq-serapi
-
frama-c
>= "25.0~beta" & < "29.0~beta" - octez-l2-libs
-
pa_ppx
= "0.14" -
ppx_deriving_cmdliner
< "0.6.0" - salto-analyzer
-
satyrographos
>= "0.0.2.13" -
systemverilog
< "0.0.2" - tezos-scoru-wasm-helpers
-
uwt
< "0.3.3" -
vscoq-language-server
< "2.3.3" - vsrocq-language-server
- wikitext
Conflicts
None
On This Page