DEBSOURCES
Skip Quicknav
sources / coq / 8.20.1%2Bdfsg-1 / test-suite / bugs / bug_17836_1.v
123456789101112
Set Universe Polymorphism. Section S. Let bla : Type. Proof. exact Type. Qed. (* anomaly assert false in declare.ml *) End S.