ccase keyform {({(key*) | key} form*)}*

Evaluates the forms in the first clause with a key eql to the value of keyform. If none of the keys matches then a correctable error is signalled.