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