6 lines
94 B
Coq
6 lines
94 B
Coq
|
|
if boolean_expression1 {
|
||
|
|
statements
|
||
|
|
} else if boolean_expression2 {
|
||
|
|
otherStatements
|
||
|
|
}
|