sig
  val dump_in_dir : dir:Datatype.Filepath.t -> string -> Region.map -> unit
  val dump_in_file : file:Datatype.Filepath.t -> string -> Region.map -> unit
end