All Questions
Tagged with coq definition
1
question with no upvoted or accepted answers
2
votes
1
answer
151
views
Is there a way to rename parameters when including/reusing a module type in Coq?
Say I have a (more general) module type Collection that specifies some operations like read and write and now I want to create (more specialized) module types like <...
- 121