Up
–
coq
» Derive_plugin
Module
Derive_plugin
module
Derive
:
sig
...
end
module
G_derive
:
sig
...
end