Module type Analysis.S

module type S = sig .. end

include Abstractions.S
include Analysis.Results