module RegionDump: sig .. end
sig
end
val dump : dir:string -> Kernel_function.t -> Region.map -> unit
dir:string -> Kernel_function.t -> Region.map -> unit