datatype file_action =
Add
- | Delete
+ | Delete of bool (* Set to true to really delete the file *)
| Modify
+ val isDelete : file_action -> bool
+
type file_status = {action : file_action,
domain : string,
dir : string,
val remove : ''a list * ''a -> ''a list
val removeDups : ''a list -> ''a list
+
+ val moveDirCreate : { from : string, to : string } -> unit
end