---
name: "Linkdeps"
section: "3o"
platform: "linux"
package: "ocaml"
version: "5.5.0-1"
release: "Arch Linux 2026-11-01"
platforms: ["linux"]
url: "https://new.carta.tech/Linkdeps"
---

# Linkdeps(3o)

no description

## NAME

Linkdeps - no description

## Module

Module   Linkdeps

## Documentation

Module **Linkdeps**\
  :  **sig end**

*type t*

The state of the linking check. It keeps track of compilation units provided and required so far.

*type compunit* =  **string**

*type filename* =  **string**

*val create* :  **complete:bool -\> t**

**create ~complete** returns an empty state. If  **complete** is **true** , missing compilation units will be treated as errors.

*val add* :  **t -\>** **filename:filename -\>** **compunit:compunit -\>** **provides:compunit list -\> requires:compunit list -\> unit**

**add t ~filename ~compunit ~provides ~requires** registers the compilation unit  **compunit** found in  **filename** to  **t** .

\- **provides** are units and sub-units provided by  **compunit**

\- **requires** are units required by  **compunit**

**add** should be called in reverse topological order.

*val required* :  **t -\> compunit -\> bool**

**required t compunit** returns  **true** if  **compunit** is a dependency of previously added compilation units.

*type compunit\_and\_source* = {\
  compunit :  **compunit** ;\
  filename :  **filename** ;\
  }

*type error* =\
  \| Missing\_implementations **of** **(compunit \* compunit\_and\_source list) list**\
  \| Wrong\_link\_order **of** **(compunit\_and\_source \* compunit\_and\_source list) list**\
  \| Multiple\_definitions **of** **(compunit \* filename list) list**

*val check* :  **t -\> error option**

**check t** should be called once all the compilation units to be linked have been added.  It returns some error if:

\-There are some missing implementations and  **complete** is  **true**

\-Some implementation appear before their dependencies

*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**