3 lines
60 B
Coq
3 lines
60 B
Coq
|
|
if( expr_booleana ) command1;
|
||
|
|
else command2;
|