how a single function of a package is used in the code
Readonly
one representative argument list per distinct call shape (drives signature compatibility)
the union of named argument names across all call sites (drives the lower-bound evidence)
how a single function of a package is used in the code