4 lines
41 B
Coq
4 lines
41 B
Coq
|
|
if boolean_expression {
|
||
|
|
statements
|
||
|
|
}
|