summaryrefslogtreecommitdiff
path: root/test-suite/failure/universes.v
blob: 6fada6f19cf0bc0db01bce6e37afa0e7eb8ef2b4 (plain) 
1
2
3

Definition Type2 := Type.
Definition Type1 := Type : Type2.
Definition Inconsistency := Type2 : Type1.
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-10 08:35:36 +0000