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