Compile.WritesCompilation writes, files written by compiling a .cmi, .cmti, .cmt or .mld file to an .odoc file.
As determined by the odoc compile-targets command.
val write : B00.Memo.t -> B00_std.Fpath.t -> to_odoc:B00_std.Fpath.t -> o:B00_std.Fpath.t -> unitwrite m cobj ~to_odoc ~o writes the files written by a compilation of cobj to to_odoc to o.
val read : B00.Memo.t -> B00_std.Fpath.t -> B00_std.Fpath.t list B00_std.Fut.tread m file reads the result of a write from file and continues with the files that will be written.