Recent_impl (Recent


      module 
       Foo
      
       : sig ... 
       end


      module 
       B
      
       : sig ... 
       end

type u


      module 
       type 
       S
      
       = sig ... 
       end

module B'
       = Recent_impl.Foo.B