Module Linkdeps

type t
type compunit = string
type filename = string
val create : complete:bool -> t
val add : t -> filename:filename -> compunit:compunit -> provides:compunit list -> requires:compunit list -> unit
val required : t -> compunit -> bool
type compunit_and_source = {
  1. compunit : compunit;
  2. filename : filename;
}
type error =
  1. | Missing_implementations of (compunit * compunit_and_source list) list
  2. | Multiple_definitions of (compunit * filename list) list
val check : t -> error option
val report_error : print_filename:string Format_doc.printer -> error Format_doc.format_printer
val report_error_doc : print_filename:string Format_doc.printer -> error Format_doc.printer