mirror of https://github.com/YosysHQ/yosys.git
5 lines
66 B
Coq
5 lines
66 B
Coq
|
module sub;
|
||
|
sub _TECHMAP_REPLACE_ ();
|
||
|
bar f0();
|
||
|
endmodule
|