A valid package id consists of two refined strings, the first being the name of the package and the second being the version.
A valid package id consists of two refined strings, the first being the name of the package and the second being the version. See the predicate below for what constitutes as valid.
Use the underlaying (string) ordering, show and equality for package ids.
For property based testing purposes, we need to explain how to randomly generate package ids.
For property based testing purposes, we need to explain how to randomly generate package ids.
A (software) package has a notion of id which is shared between the core and the resolver.