Programming Language Theory Flashcard
How to place declarations inside a module in rocq?
Books
Concepts
Deckrocq-programming-language
Question
How to place declarations inside a module in rocq?
Answer
Wrap the declarations inside: Module X. and End X.