Module Abstractions.S.Dom

module Dom: Abstract.Domain.External  with type value = Val.t
                                         and type location = Loc.location

include Abstract.Domain.Internal
include Abstract.Interface
val get_cvalue : (t -> Cvalue.Model.t) option
Special accessors for the main cvalue domain.
val get_cvalue_or_top : t -> Cvalue.Model.t
val get_cvalue_or_bottom : t Bottom.or_bottom -> Cvalue.Model.t