module Dom: Abstract_domain.External with type value = Val.t and type location = Loc.location
Abstract_domain.External
with type value = Val.t and type location = Loc.location
include Abstract_domain.Internal
include Abstract_domain.Interface