RECOLLECTION.C
type collection = CollectionModule.element list
type element = CollectionModule.collection
module InnerModuleA : sig ... end
module type InnerModuleTypeA = InnerModuleA.InnerModuleTypeA'