module Apron_domain:sig
..end
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