mirror of https://github.com/YosysHQ/yosys.git
5 lines
35 B
Coq
5 lines
35 B
Coq
|
module a;
|
||
|
input x[2:0];
|
||
|
endmodule
|
||
|
|