Programming Language Theory Flashcard
What is the wildcard pattern in rocq?
Books
Concepts
Deckrocq-programming-language
Question
What is the wildcard pattern in rocq?
Answer
The wildcard pattern _ allows matching all values without introducing unnecessary variables.