Module Resolution.Alias

module A : sig ... end
module B = A
type t = B.t
module type A = sig ... end
module type B = A