Stream: Coq devs & plugin devs

Topic: Number of TC candidates

view this post on Zulip Janno (Dec 08 2020 at 10:14):

Is there an API that performs typeclass search and also returns the number of candidates (as shown by Set Typeclasses Debug in X possibilities)?

Last updated: Dec 05 2023 at 12:01 UTC