index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
bugs
/
opened
/
2951.v
blob: 3739247b6bd5a06fa37052a4c5926e5cc0d747c1 (
plain
)
1
Class C (A: Type) : Type := { f: A }.