Module TmpfileSource

Sourceval tmp_dir : string ref
Sourceval new_tmp_file_name : string -> string
Sourceval remove_tmp_file : string -> unit