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.
val octagon : Abstractions.flag
val box : Abstractions.flag
val polka_loose : Abstractions.flag
val polka_strict : Abstractions.flag
val polka_equality : Abstractions.flag