Module Resolution.Fragments

module type A = sig ... end
module C : sig ... end
module D : sig ... end