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: Oct 16 2021 at 07:02 UTC