3 lines
28 B
Coq
3 lines
28 B
Coq
|
module example();
|
||
|
endmodule
|