Newring_plugin
module G_newring : sig ... end
module Newring : sig ... end
module Newring_ast : sig ... end