Opam Package apronext.1.0.4

Package info

opam-nameapronext
opam-version1.0.4
synopsisApron extension
descriptionAn extension for the OCaml interface of the Apron library
authors
  • Ghiles Ziat <ghiles.ziat@isae-supaero.fr
homepagehttps://github.com/ghilesZ/apronext
readme-fileREADME.md
deps (3)
revdeps (2)
metas (1)
libraries (1)

Package modules

Package sources

apronext

Package files

lib/apronext/texprext.mli
lib/apronext/texprext.ml
lib/apronext/tconsext.mli
lib/apronext/tconsext.ml
lib/apronext/scalarext.ml
lib/apronext/opam
lib/apronext/linconsext.mli
lib/apronext/linconsext.ml
lib/apronext/intervalext.mli
lib/apronext/intervalext.ml
lib/apronext/generatorext.mli
lib/apronext/generatorext.ml
lib/apronext/environmentext.mli
lib/apronext/environmentext.ml
lib/apronext/dune-package
lib/apronext/domain.ml
lib/apronext/coeffext.mli
lib/apronext/coeffext.ml
lib/apronext/array_maker.ml
lib/apronext/apronext__Texprext.cmx
lib/apronext/apronext__Texprext.cmti
lib/apronext/apronext__Texprext.cmt
lib/apronext/apronext__Texprext.cmi
lib/apronext/apronext__Tconsext.cmx
lib/apronext/apronext__Tconsext.cmti
lib/apronext/apronext__Tconsext.cmt
lib/apronext/apronext__Tconsext.cmi
lib/apronext/apronext__Scalarext.cmx
lib/apronext/apronext__Scalarext.cmt
lib/apronext/apronext__Scalarext.cmi
lib/apronext/apronext__Linconsext.cmx
lib/apronext/apronext__Linconsext.cmti
lib/apronext/apronext__Linconsext.cmt
lib/apronext/apronext__Linconsext.cmi
lib/apronext/apronext__Intervalext.cmx
lib/apronext/apronext__Intervalext.cmti
lib/apronext/apronext__Intervalext.cmt
lib/apronext/apronext__Intervalext.cmi
lib/apronext/apronext__Generatorext.cmx
lib/apronext/apronext__Generatorext.cmti
lib/apronext/apronext__Generatorext.cmt
lib/apronext/apronext__Generatorext.cmi
lib/apronext/apronext__Environmentext.cmx
lib/apronext/apronext__Environmentext.cmti
lib/apronext/apronext__Environmentext.cmt
lib/apronext/apronext__Environmentext.cmi
lib/apronext/apronext__Domain.cmx
lib/apronext/apronext__Domain.cmt
lib/apronext/apronext__Domain.cmi
lib/apronext/apronext__Coeffext.cmx
lib/apronext/apronext__Coeffext.cmti
lib/apronext/apronext__Coeffext.cmt
lib/apronext/apronext__Coeffext.cmi
lib/apronext/apronext__Array_maker.cmx
lib/apronext/apronext__Array_maker.cmt
lib/apronext/apronext__Array_maker.cmi
lib/apronext/apronext__Apol.cmx
lib/apronext/apronext__Apol.cmt
lib/apronext/apronext__Apol.cmi
lib/apronext/apronext__Aoct.cmx
lib/apronext/apronext__Aoct.cmt
lib/apronext/apronext__Aoct.cmi
lib/apronext/apronext__Abstractext.cmx
lib/apronext/apronext__Abstractext.cmt
lib/apronext/apronext__Abstractext.cmi
lib/apronext/apronext__Abox.cmx
lib/apronext/apronext__Abox.cmt
lib/apronext/apronext__Abox.cmi
lib/apronext/apronext__.ml
lib/apronext/apronext__.cmx
lib/apronext/apronext__.cmt
lib/apronext/apronext__.cmi
lib/apronext/apronext.ml
lib/apronext/apronext.cmxs
lib/apronext/apronext.cmxa
lib/apronext/apronext.cmx
lib/apronext/apronext.cmt
lib/apronext/apronext.cmi
lib/apronext/apronext.cma
lib/apronext/apronext.a
lib/apronext/apol.ml
lib/apronext/aoct.ml
lib/apronext/abstractext.ml
lib/apronext/abox.ml
lib/apronext/META
lib/apronext
doc/apronext/README.md
doc/apronext/LICENSE
doc/apronext