Module Loop_analysis.Generic

module Generic: sig .. end

include Store