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