Ocamlary.Recollection
module C : COLLECTION
type collection = C.element list
type element = C.collection
module InnerModuleA : sig ... end
module type InnerModuleTypeA = InnerModuleA.InnerModuleTypeA'