Module Recent_impl

module Foo : sig ... end
module B = $B
type u = $t
module type S = sig ... end
module B' = Foo.B