Counts of the polymorphic procedures the compiler instantiated, and from where.
Fields
- num_solves_invoked: s64
- num_solves_used: s64
- reported: := false
- records: [] Record
Jacket
/
Jacket
Counts of the polymorphic procedures the compiler instantiated, and from where.