Resolution.Alias
Demonstrates a reference to an item in a module that's an alias
module A : sig ... end
module B = A
type t = B.t
module type A = sig ... end
module type B = A
B.t