Parameter Recollection.C
This comment is for CollectionModule.
module InnerModuleA : sig ... endThis comment is for InnerModuleA.
module type InnerModuleTypeA = C.InnerModuleA.InnerModuleTypeA'This comment is for InnerModuleTypeA.