3 lines
23 B
Coq
3 lines
23 B
Coq
![]() |
module test;
|
||
|
endmodule
|