Module Compile.DepSource

Compilation dependencies, for compiling .cmi, .cmti or .cmt files to .odoc files.

As determined by the odoc compile-deps command. These dependencies need to be resolved to concrete .odoc files by some external mean.

Dependencies

Sourcetype t

The type for odoc compilation dependencies.

Sourceval name : t -> string

name d is the module name of d.

Sourceval digest : t -> Stdlib.Digest.t

digest d is the digest of d.

pp formats a dependency.

Sourceval write : B00.Memo.t -> B0_std.Fpath.t -> o:B0_std.Fpath.t -> unit

write m cobj o writes the odoc dependencies of the compilation object cobj to o.

read m file reads the result of a write from file and continues with the dependencies.