[Coq] match snippet