Chapter 13: Extended pattern-matching

Cristina Cornes







This section describes the full form of pattern-matching in Coq terms.