Plasma GitLab Archive
Projects Blog Knowledge

Class Netchannels.tempfile_trans_channel

class tempfile_trans_channel : ?close_mode:close_mode -> ?tmp_directory:string -> ?tmp_prefix:string -> out_obj_channel -> trans_out_obj_channel
A transactional output channel with a transaction buffer implemented as temporary file


close_mode : Specifies the semantics of close_out, by default `Commit
tmp_directory : See make_temporary_file
tmp_prefix : See make_temporary_file

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml