bug_10803.out « output « test-suite - coq - The formal proof system

about summary refs log tree commit diff

path: root/test-suite/output/bug_10803.out

blob: 04d190a5d1c0ccbf4a1bb7f2082848c820f12afc (plain)

a !
     : Foo
where
?y : [ |- nat]
a !
     : Foo
a
     : Foo -> Foo
a !
     : Foo