Module type Abstract_domain.External

module type External = sig .. end
Final interface of domains, as generated and used by EVA, with generic accessors for domains.

include Abstract_domain.Internal
include Abstract_domain.Interface