Module type Mylib__Ocamlary.RecollectionModule

include module type of sig ... end
type collection = list
type element = CollectionModule.collection
module InnerModuleA : sig ... end

This comment is for InnerModuleA.

module type InnerModuleTypeA = InnerModuleA.InnerModuleTypeA'

This comment is for InnerModuleTypeA.