Resolution.Canonical
Demonstrates the use of canonical tags
module A : sig ... end
module B : sig ... end
type t = B.t