Module B.Q
type collection= CollectionModule.collectionThis comment is for
collection.
type element= CollectionModule.element
module InnerModuleA : sig ... endThis comment is for
InnerModuleA.
module type InnerModuleTypeA = InnerModuleA.InnerModuleTypeA'This comment is for
InnerModuleTypeA.