Module resolution 

Structs

PackageResolution

How a specific version of a package resolves, recorded for every package version the linkage refinement touched.

Enums

VersionConstraint

Unifiers. These are used to determine how to unify two packages.