module RegionAnalysis: sig .. end
sig
end
val get : Kernel_function.t option -> Region.map
Kernel_function.t option -> Region.map