(Unix.stat fname).Unix.st_kind = Unix.S_DIR
with Unix.Unix_error _ -> false
+let writable_dir path =
+ try
+ let file = path ^ "/prova_matita" in
+ let oc = open_out file in
+ close_out oc;
+ Sys.remove file;
+ true
+ with Sys_error _ -> false
+
+
let is_regular fname =
try
(Unix.stat fname).Unix.st_kind = Unix.S_REG