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: Jun 23 2024 at 01:02 UTC