Frama-C API - RegionDump
val dump_in_dir : dir:Frama_c_kernel.Datatype.Filepath.t -> string -> Region.map -> unitval dump_in_file : file:Frama_c_kernel.Datatype.Filepath.t -> string -> Region.map -> unit
Frama-C Frama-C RegionDumpval dump_in_dir : dir:Frama_c_kernel.Datatype.Filepath.t -> string -> Region.map -> unitval dump_in_file : file:Frama_c_kernel.Datatype.Filepath.t -> string -> Region.map -> unit