Module `Ring_plugin`

module G_ring : sig ... end

module Ring : sig ... end

module Ring_ast : sig ... end