7 lines
89 B
Coq
7 lines
89 B
Coq
|
case( expr_booleana )
|
||
|
|
valor1: command1;
|
||
|
|
valor2: command2;
|
||
|
|
...
|
||
|
|
default: commandN;
|
||
|
|
endcase
|