Module Compile.Writes
Compilation writes, files written by compiling a .cmi, .cmti, .cmt or .mld file to an .odoc file.
As determined by the odoc compile-targets command.
Compilation file writes
val write : B00.Memo.t -> B0_std.Fpath.t -> to_odoc:B0_std.Fpath.t -> o:B0_std.Fpath.t -> unitwrite m cobj ~to_odoc ~owrites the files written by a compilation ofcobjtoto_odoctoo.
val read : B00.Memo.t -> B0_std.Fpath.t -> B0_std.Fpath.t list B00.Memo.fiberread m filereads the result of awritefromfileand continues with the files that will be written.