Module RegionAnalysis

module RegionAnalysis: sig .. end
Memoized and Projectified Region Analyzis for the given Function.

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