ppx_import
A syntax extension for importing declarations from interface files
Description
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 09 Sep 2018
- Authors
- Maintainers
Sources
Dependencies
ppx_deriving
with-test & >= "2.0"
ounit
with-test
cppo_ocamlbuild
build
cppo
build
ocamlbuild
build
ocamlfind
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"
ppx_deriving_cmdliner
< "0.6.0"
ppx_deriving_yojson
< "3.3"
systemverilog
< "0.0.2"
uwt
< "0.3.3"