RosettaCodeData/Task/Conditional-structures/Verilog/conditional-structures-1.v

3 lines
60 B
Coq

if( expr_booleana ) command1;
else command2;