module Apron_domain:sig
..end
All conversion functions may fail with this exception.
val ok : bool
module type S =Abstract_domain.Internal
with type value = Main_values.Interval.t and type location = Precise_locs.precise_location
module Octagon:S
module Box:S
module Polka_Loose:S
module Polka_Strict:S
module Polka_Equalities:S
val octagon_key : Octagon.t Abstract_domain.key
val box_key : Box.t Abstract_domain.key
val polka_loose_key : Polka_Loose.t Abstract_domain.key
val polka_strict_key : Polka_Strict.t Abstract_domain.key
val polka_equalities_key : Polka_Equalities.t Abstract_domain.key