Ocamlary.RecollectionThis comment is for CollectionModule.
module C : COLLECTIONtype collection = C.element listThis comment is for collection.
type element = C.collectionmodule InnerModuleA : sig ... endThis comment is for InnerModuleA.
module type InnerModuleTypeA = InnerModuleA.InnerModuleTypeA'This comment is for InnerModuleTypeA.