Ocamlary.Recollectionmodule C : COLLECTIONThis comment is for CollectionModule.
type 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.