summaryrefslogtreecommitdiff
path: root/ocamltest/ocamltest_stdlib.mli
diff options
context:
space:
mode:
Diffstat (limited to 'ocamltest/ocamltest_stdlib.mli')
-rw-r--r--ocamltest/ocamltest_stdlib.mli3
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