Module type Abstract.Domain.External

module type External = sig .. end

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