Module type Analysis.S

module type S = sig .. end

include Abstractions.Eva
include Analysis.Results