The Coq mailing list

[Gregory Malecha <gmalecha AT eecs.harvard.edu>]

Hello,

Is there any way in Coq to search for the term (or terms) that generated a universe constraint? Normally, I can get some idea from the name of the variables involved, but I currently have a universe variable that I can't find occuring anywhere.

Thank you.

--
gregory malecha

http://www.people.fas.harvard.edu/~gmalecha/