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.