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