7 lines
75 B
Coq
7 lines
75 B
Coq
|
|
if boolean_expression {
|
||
|
|
statements
|
||
|
|
} else {
|
||
|
|
other
|
||
|
|
statements
|
||
|
|
}
|