COLLECTION.InnerModuleAThis comment is for InnerModuleA.
type t = collectionThis comment is for t.
module InnerModuleA' : sig ... endThis comment is for InnerModuleA'.
module type InnerModuleTypeA' = sig ... endThis comment is for InnerModuleTypeA'.