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