Recollection.C
This comment is for CollectionModule.
CollectionModule
type collection
This comment is for collection.
collection
type element
module InnerModuleA : sig ... end
This comment is for InnerModuleA.
InnerModuleA
module type InnerModuleTypeA = InnerModuleA.InnerModuleTypeA'
This comment is for InnerModuleTypeA.
InnerModuleTypeA