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