A.QThis comment is for CollectionModule.
module
InnerModuleA
: sig ...
end
This comment is for InnerModuleA.
module
type
InnerModuleTypeA
=
InnerModuleA.InnerModuleTypeA'
This comment is for InnerModuleTypeA.