Module Serlib_ring

module Ser_g_ring : sig ... end