3 lines
43 B
Coq
3 lines
43 B
Coq
|
module e;
|
||
|
|
always #1 $write("e");
|
||
|
|
endmodule
|