Module RegionAnalysis

module RegionAnalysis: sig .. end

Memoized and Projectified Region Analyzis for the given Function.


val get : Kernel_function.t option -> Region.map