aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/bug6821.out
blob: 7b12b5320030a7cf42f13eacf166fcb99eae7785 (plain)
1
2
forall f : nat -> Type, f x where x : nat := 1
     : Type