module RegionAnalysis: sig .. end
sig
end
Memoized and Projectified Region Analyzis for the given Function.
val get : Kernel_function.t option -> Region.map
Kernel_function.t option -> Region.map