Module Ring_plugin.G_ring

val wit_ring_mods : (Constrexpr.constr_expr Ring_ast.ring_mod list, unit, unit) Genarg.genarg_type
val wit_field_mods : (Constrexpr.constr_expr Ring_ast.field_mod list, unit, unit) Genarg.genarg_type