Wildcard pattern rocq

A Pattern (usually written _) that matches any value without binding it to a name, useful for ignoring irrelevant cases in Pattern matching.