diff options
Diffstat (limited to 'ocamltest/ocamltest_stdlib.mli')
-rw-r--r-- | ocamltest/ocamltest_stdlib.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ocamltest/ocamltest_stdlib.mli b/ocamltest/ocamltest_stdlib.mli index e7833d10c8..8fbee1a0b0 100644 --- a/ocamltest/ocamltest_stdlib.mli +++ b/ocamltest/ocamltest_stdlib.mli @@ -50,7 +50,10 @@ module Sys : sig val make_directory : string -> unit val string_of_file : string -> string val copy_file : string -> string -> unit + val force_remove : string -> unit val with_chdir : string -> (unit -> 'a) -> 'a + val getenv_with_default_value : string -> string -> string + val safe_getenv : string -> string end module StringSet : sig |