Module Apron_domain

module Apron_domain: sig .. end
Experimental binding for the numerical abstract domains provided by the APRON library: http://apron.cri.ensmp.fr/library For now, this binding only processes scalar integer variables.

All conversion functions may fail with this exception.


val octagon : Abstractions.flag
val box : Abstractions.flag
val polka_loose : Abstractions.flag
val polka_strict : Abstractions.flag
val polka_equality : Abstractions.flag