Module Resolution.Canonical

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