package codept-lib

  1. Overview
  2. Docs
package codept-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Module.DivergenceSource

Every time a module with an unknown signature is opened, it can possibly shadows all modules present in the current, or none. The Divergence module is use to store information about such divergence point, in order to be able to pinpoint to the user the exact moment where dependency computation might have gone awry.

Sourcetype origin =
  1. | First_class_module
  2. | External

The source of the divergence can be either a First_class_module or an External module.

Sourcetype t = {
  1. root : Name.t option;
  2. origin : origin;
  3. loc : Uloc.t;
}
Sourceval pp : Format.formatter -> t -> unit