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