val mtime_of_source_object: source_object -> float option
val mtime_of_target_object: target_object -> float option
val is_readonly_buri_of: options -> source_object -> bool
- val dotdothack: source_object -> source_object
end
module Make :
* state that plus.ma needs nat and equality
*)
val load_deps_file: string -> (string * string list) list
-val write_deps_file: string -> (string * string list) list -> unit
+val write_deps_file: string option -> (string * string list) list -> unit
(* FG ***********************************************************************)