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 :
B0_memo.t ->
B0_std.Fpath.t ->
to_odoc:B0_std.Fpath.t ->
o:B0_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 : B0_memo.t -> B0_std.Fpath.t -> B0_std.Fpath.t list B0_std.Fut.tread m file reads the result of a write from file and continues with the files that will be written.