package codept-lib

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

Module Module.OriginSource

Module origin

Sourcetype t =
  1. | Unit of {
    1. source : Pkg.t;
    2. path : Namespaced.t;
    }
    (*

    toplevel module mapped from a unit file

    *)
  2. | Submodule
    (*

    non top-level module

    *)
  3. | Namespace
    (*

    temporary module from namespace

    *)
  4. | First_class
    (*

    unpacked first-class module

    *)
  5. | Arg
    (*

    module created for functor application

    *)
  6. | Phantom of bool * Divergence.t
    (*

    Module with an ambiguous signature due to a divergence. In particular, its submodule structure should not be trusted and is kept around only to handle delayed alias dependencies

    *)
Sourceval at_most : t -> t -> t

at_most origin origin' cap the origin origin' at level origin according to the partial order: First_class, Rec, Arg, Extern, Alias ≺ Submodule ≺ Unit

Sourceval pp : Format.formatter -> t -> unit
Sourceval reflect : Format.formatter -> t -> unit