5 lines
33 B
Coq
5 lines
33 B
Coq
|
module a #(p = 0)
|
||
|
();
|
||
|
endmodule
|
||
|
|