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_domain.Interface