Module LoopAnalysis

module LoopAnalysis: sig .. end
Loop Analysis plugin.

module Loop_analysis: sig .. end
Loop exports functions related to the estimation of loop iteration bounds.