package apron

  1. Overview
  2. Docs

apron v0.9.14~beta.2

Libraries

This package provides the following libraries (via ocamlobjinfo):

apron.apron

Documentation:

apron.boxD

Documentation:

apron.boxMPQ

Documentation:

apron.boxMPFR

Documentation:

apron.octD

Documentation:

apron.octMPQ

Documentation:

apron.polkaMPQ

Documentation:

apron.polkaRll

Documentation:

apron.t1pD

Documentation:

apron.t1pMPQ

Documentation:

apron.t1pMPFR

Documentation:

apron.avoD

Documentation:

apron.avoMPQ

Documentation:

apron.fppD

Documentation:

    OCaml

    Innovation. Community. Security.