RosettaCodeData/Task/Conditional-structures/Verilog/conditional-structures-1.v
2023-07-01 13:44:08 -04:00

2 lines
60 B
Coq

if( expr_booleana ) command1;
else command2;