Programming Language Theory Flashcard
How to destruct multiple variables at once in rocq?
Books
Deckrocq-programming-language
Question
How to destruct multiple variables at once in rocq?
Answer
Use intros <intro-pattern>.
Question
How to destruct multiple variables at once in rocq?
Answer
Use intros <intro-pattern>.