index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test-suite
/
failure
/
positivity.v
blob: 09025197c7f21dd177471f2f7491ac87be53f5cc (
plain
)
1
Inductive t:Set := c: (t -> nat) -> t.