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