Up
–
coq-core
» Ring_plugin
Module
Ring_plugin
module
G_ring
:
sig
...
end
module
Ring
:
sig
...
end
module
Ring_ast
:
sig
...
end