11 lines
152 B
Coq
11 lines
152 B
Coq
|
|
switch expression_of_any_type {
|
||
|
|
value1 {
|
||
|
|
statements
|
||
|
|
}
|
||
|
|
value2, value3, value4 {
|
||
|
|
other
|
||
|
|
statements
|
||
|
|
}
|
||
|
|
else {}
|
||
|
|
}
|