module type External = sig .. end
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