FunctorTypeOf.CollectionThis comment is for CollectionModule.
module
InnerModuleA
: sig ...
end
This comment is for InnerModuleA.
module
type InnerModuleTypeA
=
InnerModuleA.InnerModuleTypeA'
This comment is for InnerModuleTypeA.