Module origin
type t = | Unit of {source : Pkg.t;path : Namespaced.t;}toplevel module mapped from a unit file
*)| Submodulenon top-level module
*)| Namespacetemporary module from namespace
*)| First_classunpacked first-class module
*)| Argmodule created for functor application
*)| Phantom of bool * Divergence.tModule 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
*)at_most origin origin' cap the origin origin' at level origin according to the partial order: First_class, Rec, Arg, Extern, Alias ≺ Submodule ≺ Unit
val pp : Format.formatter -> t -> unitval reflect : Format.formatter -> t -> unitval sch : t Schematic.t