Description

Find inspects a single package, populating Result with its pairs of constrained types.

The result is non-canonical and thus may contain duplicates (but this tends to preserves names of interface types better).

The package must be free of type errors, and info.{Defs,Uses,Selections,Types} must have been populated by the type-checker.