package b0

  1. Overview
  2. Docs
On This Page
  1. Dependencies

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 -> Digest.t

digest d is the digest of d.

pp formats a dependency.

Sourceval write : B0_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.