Module `B.Q`

This comment is for CollectionModule.

type collection

This comment is for collection.

type element

module InnerModuleA : sig ... end

This comment is for InnerModuleA.

module type InnerModuleTypeA = Q.InnerModuleA.InnerModuleTypeA'

This comment is for InnerModuleTypeA.

Module B.Q