On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package b0
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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
val name : t -> stringname d is the module name of d.
val pp : t B0_std.Fmt.tpp formats a dependency.
val write : B00.Memo.t -> B0_std.Fpath.t -> o:B0_std.Fpath.t -> unitwrite m cobj o writes the odoc dependencies of the compilation object cobj to o.
val read : B00.Memo.t -> B0_std.Fpath.t -> t list B00.Memo.fiberread m file reads the result of a write from file and continues with the dependencies.
On This Page