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