Resolution.Fragments
Demonstrates the resolution of fragments
module type A = sig ... end
module C : A with type B.t = int
module D : module type of C.B with type t := int