Module Recent_impl.Foo

module A : sig ... end
module B : sig ... end