Sourceval close_output : unit -> unit Sourceval add_tmp_file : string -> unit Sourceval delete_file : string -> unit Sourceval cleanup : unit -> unit Sourceval cleanup_on_error : unit -> unit Sourceval chdir_output : string -> unit Sourceval default_anon_fun : string -> unit Sourceval anon_fun_wrapper : ('a -> 'b) -> 'a -> 'b Sourceval run_command : (unit -> 'a) -> unit