15 lines
195 B
Coq
15 lines
195 B
Coq
|
|
match true {
|
||
|
|
boolean_expression1 {
|
||
|
|
statements
|
||
|
|
}
|
||
|
|
boolean_expression2 {
|
||
|
|
other
|
||
|
|
statements
|
||
|
|
}
|
||
|
|
else {
|
||
|
|
last
|
||
|
|
resort
|
||
|
|
statements
|
||
|
|
}
|
||
|
|
}
|