test-suite/misc/vio_checking.v


1
2
3
4
5
6
7
8
9

Lemma foo : Type.
Proof. exact Type. Qed.

Lemma foo1 : Type.
Proof. exact Type. Qed.

Lemma foo2 : Type.
Proof. exact foo1. Qed.