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: May 28 2023 at 13:30 UTC